Remove source(), it has been removed from webkit2gtk

WebKit2GTK doesn't provide a direct way to view source anymore, we'll
have to do that ourselves with a GtkSourceView if we still need that.

diff --git a/config.def.h b/config.def.h
index bed5fe1..0a5d9fb 100644 (file)
--- a/config.def.h
+++ b/config.def.h
@@ -109,7 +109,6 @@ static Key keys[] = {
 
        { 0,                     GDK_KEY_F11,    fullscreen, { 0 } },
        { 0,                     GDK_KEY_Escape, stop,       { 0 } },
-       { MODKEY,                GDK_KEY_o,      source,     { 0 } },
        { MODKEY|GDK_SHIFT_MASK, GDK_KEY_o,      inspector,  { 0 } },
 
        { MODKEY,                GDK_KEY_g,      spawn,      SETPROP("_SURF_URI", "_SURF_GO") },

diff --git a/surf.c b/surf.c
index da5eb09..724fcf3 100644 (file)
--- a/surf.c
+++ b/surf.c
@@ -197,7 +197,6 @@ static void scroll(GtkAdjustment *a, const Arg *arg);
 static void setatom(Client *c, int a, const char *v);
 static void setup(void);
 static void sigchld(int unused);
-static void source(Client *c, const Arg *arg);
 static void spawn(Client *c, const Arg *arg);
 static void stop(Client *c, const Arg *arg);
 static void titlechange(WebKitWebView *view, GParamSpec *pspec, Client *c);
@@ -1372,17 +1371,6 @@ sigchld(int unused)
        while (0 < waitpid(-1, NULL, WNOHANG));
 }
 
-void
-source(Client *c, const Arg *arg)
-{
-       Arg a = { .b = FALSE };
-       gboolean s;
-
-       s = webkit_web_view_get_view_source_mode(c->view);
-       webkit_web_view_set_view_source_mode(c->view, !s);
-       reload(c, &a);
-}
-
 void
 spawn(Client *c, const Arg *arg)
 {