Add "toggle view source mode"

1 files changed, 9 insertions, 0 deletions

diff --git a/browser.c b/browser.c
index b003f33..2c6d9c5 100644
--- a/browser.c
+++ b/browser.c
@@ -700,6 +700,7 @@ key_web_view(GtkWidget *widget, GdkEvent *event, gpointer data)
 	WebKitHitTestResult *ht_result = NULL;
 	gchar *ht_uri = NULL, *f;
 	gfloat z;
+	gboolean b;
 
 	(void)widget;
 
@@ -730,6 +731,14 @@ key_web_view(GtkWidget *widget, GdkEvent *event, gpointer data)
 					webkit_web_view_reload_bypass_cache(WEBKIT_WEB_VIEW(
 					                                    c->web_view));
 					return TRUE;
+				case GDK_KEY_s:  /* toggle source view (left hand) */
+					b = webkit_web_view_get_view_source_mode(WEBKIT_WEB_VIEW(
+					                                         c->web_view));
+					b = !b;
+					webkit_web_view_set_view_source_mode(WEBKIT_WEB_VIEW(
+					                                     c->web_view), b);
+					webkit_web_view_reload(WEBKIT_WEB_VIEW(c->web_view));
+					return TRUE;
 				case GDK_KEY_d:  /* download manager (left hand) */
 					gtk_widget_show_all(dm.win);
 					return TRUE;