Make 'Inspect Element' always show the inspector

Without scripts enabled, this doesn't happen implicitly.

diff --git a/midori/midori-view.c b/midori/midori-view.c
index 5827643326cbb548ea7f9a917cb8417049ca1e70..a6c6a855b22c8c4e83164739edc54aa664b3610b 100644 (file)
--- a/midori/midori-view.c
+++ b/midori/midori-view.c
@@ -1872,6 +1872,7 @@ midori_web_view_menu_inspect_element_activate_cb (GtkWidget*  widget,
     x = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (widget), "x"));
     y = GPOINTER_TO_INT (g_object_get_data (G_OBJECT (widget), "y"));
     webkit_web_inspector_inspect_coordinates (inspector, x, y);
+    webkit_web_inspector_show (inspector);
 }
 #endif