From dc751caff4b074a8f40a07df5212b83335590c16 Mon Sep 17 00:00:00 2001 From: Peter Hofmann Date: Thu, 19 Jun 2014 11:02:21 +0200 Subject: [PATCH] Add "toggle view source mode" --- browser.c | 9 +++++++++ 1 file changed, 9 insertions(+) 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; -- 2.39.2