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.

1 files changed, 0 insertions, 12 deletions

diff --git a/surf.c b/surf.c
index da5eb09..724fcf3 100644
--- 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);
@@ -1373,17 +1372,6 @@ sigchld(int unused)
 }
 
 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)
 {
 	if (fork() == 0) {