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.
2015-11-18 14:31:14 +01:00
parent b7cc1ae964
commit 4415c475f7
2 changed files with 0 additions and 13 deletions
@@ -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") },