[gitg] Turn off WebKit caching

[Paolo Borelli <pborelli src gnome org>]

commit bbb1e68e6ac9a2317037ca3a48358663fd28209a
Author: Paolo Borelli <pborelli gnome org>
Date:   Mon Sep 2 18:45:15 2013 +0200

    Turn off WebKit caching
    
    Apply kov's suggestions to try to keep WebKit mem usage under control.
    It does not seem to help here, but that may be due to my old WK...
    Anyway I do not think we want caching, so let's turn it off.

 libgitg/gitg-diff-view.vala |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/libgitg/gitg-diff-view.vala b/libgitg/gitg-diff-view.vala
index 081c85f..cee5621 100644
--- a/libgitg/gitg-diff-view.vala
+++ b/libgitg/gitg-diff-view.vala
@@ -71,6 +71,7 @@ namespace Gitg
 
                        var context = WebKit.WebContext.get_default();
                        context.register_uri_scheme("gitg-diff", gitg_diff_request);
+                       context.set_cache_model(WebKit.CacheModel.DOCUMENT_VIEWER);
                }
 
                private string json_settings()
@@ -245,6 +246,7 @@ namespace Gitg
                        }
 
                        settings.javascript_can_access_clipboard = true;
+                       settings.enable_page_cache = false;
 
                        d_fontsettings = new Settings("org.gnome.desktop.interface");
                        set_settings(settings);