diff options
| -rw-r--r-- | browser.c | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -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; |