]> git.armaanb.net Git - chorizo.git/commitdiff
Remove remaining stuff about "view source mode"
authorPeter Hofmann <scm@uninformativ.de>
Sun, 9 Nov 2014 12:17:49 +0000 (13:17 +0100)
committerPeter Hofmann <scm@uninformativ.de>
Sun, 9 Nov 2014 12:42:13 +0000 (13:42 +0100)
README
browser.c

diff --git a/README b/README
index c80be73bd53f68df8c0156ee2769bed50e51c412..ae4e66b6523f281629c05e6eb710038a51de6c92 100644 (file)
--- 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.
 
index b34a0c9543d86447737c2d987635e1402a03f86b..b2b4f0f90f17e31c049fa86e7a8d1a4ec975b241 100644 (file)
--- 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;