Add "toggle view source mode"

diff --git a/browser.c b/browser.c
index b003f339bdf6c69840feb6512122c3542aec0a90..2c6d9c568fe596c6eda81a8e2c9daca5589275a3 100644 (file)
--- 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;