From 4415c475f7063ac5df0a0cca6b6696f0987f1404 Mon Sep 17 00:00:00 2001 From: Quentin Rameau Date: Wed, 18 Nov 2015 14:31:14 +0100 Subject: 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. --- surf.c | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'surf.c') 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); @@ -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) { -- cgit v1.2.3