diff options
| author | Quentin Rameau <quinq@fifth.space> | 2015-11-18 14:31:14 +0100 |
|---|---|---|
| committer | Quentin Rameau <quinq@fifth.space> | 2015-11-18 14:59:13 +0100 |
| commit | 4415c475f7063ac5df0a0cca6b6696f0987f1404 (patch) | |
| tree | 178ad88445eb21828a659a0e05d681d024a658fe | |
| parent | b7cc1ae9644097899f881eb321c445ffca0bb3f2 (diff) | |
| download | surf-4415c475f7063ac5df0a0cca6b6696f0987f1404.tar.gz surf-4415c475f7063ac5df0a0cca6b6696f0987f1404.tar.bz2 surf-4415c475f7063ac5df0a0cca6b6696f0987f1404.zip | |
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.
| -rw-r--r-- | config.def.h | 1 | ||||
| -rw-r--r-- | surf.c | 12 |
2 files changed, 0 insertions, 13 deletions
diff --git a/config.def.h b/config.def.h index bed5fe1..0a5d9fb 100644 --- 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") }, @@ -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) { |