[gitg] Do not cache diff worker when in debug mode

[Jesse van den Kieboom <jessevdk src gnome org>]

commit 826caaaa567047e066b29f325f88fe66f12471f2
Author: Jesse van den Kieboom <jessevdk gmail com>
Date:   Sat Mar 2 14:33:20 2013 +0100

    Do not cache diff worker when in debug mode

 libgitg-gtk/gitg-gtk-diff-view.vala |    5 +++++
 libgitg-gtk/resources/diff-view.js  |   11 ++++++++++-
 2 files changed, 15 insertions(+), 1 deletions(-)
---
diff --git a/libgitg-gtk/gitg-gtk-diff-view.vala b/libgitg-gtk/gitg-gtk-diff-view.vala
index b3fdcae..58e56f8 100644
--- a/libgitg-gtk/gitg-gtk-diff-view.vala
+++ b/libgitg-gtk/gitg-gtk-diff-view.vala
@@ -250,6 +250,11 @@ namespace GitgGtk
                                uri += "&css=" + Soup.URI.encode(custom_css.get_uri(), null);
                        }
 
+                       if (dbg)
+                       {
+                               uri += "&debug=true";
+                       }
+
                        d_loaded = false;
 
                        load_uri(uri);
diff --git a/libgitg-gtk/resources/diff-view.js b/libgitg-gtk/resources/diff-view.js
index 3624cfb..4bf0d81 100644
--- a/libgitg-gtk/resources/diff-view.js
+++ b/libgitg-gtk/resources/diff-view.js
@@ -18,6 +18,7 @@ var params = function(query) {
 var settings = {
        wrap: true,
        tab_width: 4,
+       debug: false,
 };
 
 if ('settings' in params)
@@ -122,7 +123,15 @@ function update_diff(id)
                html_builder_worker.terminate();
        }
 
-       html_builder_worker = new Worker('diff-view-html-builder.js');
+       workeruri = 'diff-view-html-builder.js';
+
+       if (settings.debug)
+       {
+               var t = (new Date()).getTime();
+               workeruri += '?t' + t;
+       }
+
+       html_builder_worker = new Worker(workeruri);
        html_builder_tick = 0;
 
        var content = document.getElementById('diff_content');