Adapt inspector handling

The inspector is now easily manageable via API, there's no need for keeping its state in the Client.
2015-11-20 00:44:29 +01:00
parent 0b5b798eb2
commit c4f01cd18b
2 changed files with 8 additions and 54 deletions
@@ -109,7 +109,7 @@ static Key keys[] = {

 	{ 0,                     GDK_KEY_F11,    togglefullscreen, { 0 } },
 	{ 0,                     GDK_KEY_Escape, stop,       { 0 } },
-	{ MODKEY|GDK_SHIFT_MASK, GDK_KEY_o,      inspector,  { 0 } },
+	{ MODKEY|GDK_SHIFT_MASK, GDK_KEY_o,      toggleinspector, { 0 } },

 	{ MODKEY,                GDK_KEY_g,      spawn,      SETPROP("_SURF_URI", "_SURF_GO") },
 	{ MODKEY,                GDK_KEY_f,      spawn,      SETPROP("_SURF_FIND", "_SURF_FIND") },