[gitg/vala] Added debugging for the diff view

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

commit 22d72b6251a57ec3a082621204763b0ac4ded8f6
Author: Jesse van den Kieboom <jesse vandenkieboom epfl ch>
Date:   Tue Jul 17 09:52:05 2012 +0200

    Added debugging for the diff view
    
    When GITG_GTK_DIFF_VIEW_DEBUG is set, the inspector of webkit
    will be made available and you can launch it from the context menu.

 libgitg-gtk/gitg-gtk-diff-view.vala |   25 +++++++++++++++++++++++++
 1 files changed, 25 insertions(+), 0 deletions(-)
---
diff --git a/libgitg-gtk/gitg-gtk-diff-view.vala b/libgitg-gtk/gitg-gtk-diff-view.vala
index 82cd721..71f7117 100644
--- a/libgitg-gtk/gitg-gtk-diff-view.vala
+++ b/libgitg-gtk/gitg-gtk-diff-view.vala
@@ -80,9 +80,34 @@ namespace GitgGtk
 				settings.user_stylesheet_uri = custom_css.get_uri();
 			}
 
+			var dbg = Environment.get_variable("GITG_GTK_DIFF_VIEW_DEBUG") != "";
+
+			if (dbg)
+			{
+				settings.enable_developer_extras = true;
+			}
+
 			settings.javascript_can_access_clipboard = true;
 			set_settings(settings);
 
+			if (dbg)
+			{
+				var inspector = get_inspector();
+
+				inspector.inspect_web_view.connect((insp, view) => {
+					var wnd = new Gtk.Window();
+					wnd.set_default_size(400, 300);
+
+					var nvw = new WebKit.WebView();
+					nvw.show();
+
+					wnd.add(nvw);
+					wnd.show();
+
+					return wnd.get_child() as WebKit.WebView;
+				});
+			}
+
 			++s_diff_id;
 			s_diffmap[s_diff_id.to_string()] = this;