From bae41b45a82c0422ea5c6fb5423b740595cf9cee Mon Sep 17 00:00:00 2001 From: Christian Dywan Date: Sat, 14 Aug 2010 21:12:02 +0200 Subject: [PATCH] Make 'Inspect Element' always show the inspector Without scripts enabled, this doesn't happen implicitly. --- midori/midori-view.c | 1 + 1 file changed, 1 insertion(+) diff --git a/midori/midori-view.c b/midori/midori-view.c index 58276433..a6c6a855 100644 --- 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 -- 2.39.5