From 37b7845e3005e4a811451cc09cabc8f659892a2c Mon Sep 17 00:00:00 2001 From: Peter Hofmann Date: Sun, 9 Nov 2014 13:17:49 +0100 Subject: [PATCH] Remove remaining stuff about "view source mode" --- README | 5 ----- browser.c | 11 ----------- 2 files changed, 16 deletions(-) diff --git a/README b/README index c80be73..ae4e66b 100644 --- a/README +++ b/README @@ -137,11 +137,6 @@ Main windows Mod1 + e Open a new window. - Mod1 + s - Toggles "view source mode". This will display the web pages - source code. Note that the page will be reloaded (which is - annoying but WebKit enforces this). - Mod1 + r Reload the current page. diff --git a/browser.c b/browser.c index b34a0c9..b2b4f0f 100644 --- a/browser.c +++ b/browser.c @@ -637,7 +637,6 @@ key_web_view(GtkWidget *widget, GdkEvent *event, gpointer data) struct Client *c = (struct Client *)data; gchar *f; gfloat z; - gboolean b; if (event->type == GDK_KEY_PRESS) { @@ -662,16 +661,6 @@ key_web_view(GtkWidget *widget, GdkEvent *event, gpointer data) webkit_web_view_reload_bypass_cache(WEBKIT_WEB_VIEW( c->web_view)); return TRUE; -#if 0 - 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; -#endif case GDK_KEY_d: /* download manager (left hand) */ gtk_widget_show_all(dm.win); return TRUE; -- 2.39.2