summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorPatrick McDermott <pj@pehjota.net>2017-10-06 05:03:22 (EDT)
committer Patrick McDermott <pj@pehjota.net>2017-10-06 05:03:22 (EDT)
commit7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c (patch)
tree942e68d8584ea1f09ab778e254529f9ff0f93073
parentd153401dfb0298cdcc62a9a84914f49950f4d6ce (diff)
downloadmarquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.zip
marquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.tar.gz
marquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.tar.bz2
MqTabChrome: Make developer tools button functional
-rw-r--r--src/tab-chrome.c10
1 files changed, 10 insertions, 0 deletions
diff --git a/src/tab-chrome.c b/src/tab-chrome.c
index b298c2c..b92b17a 100644
--- a/src/tab-chrome.c
+++ b/src/tab-chrome.c
@@ -337,6 +337,15 @@ zoom_in_clicked_cb(GtkButton __attribute__((unused)) *button,
}
static void
+developer_tools_clicked_cb(GtkButton __attribute__((unused)) *button,
+ MqTabChrome *chrome)
+{
+ webkit_web_inspector_show(webkit_web_view_get_inspector(
+ chrome->web_view));
+ gtk_widget_hide(chrome->menu_popover);
+}
+
+static void
preferences_clicked_cb(GtkButton __attribute__((unused)) *button,
MqTabChrome *chrome)
{
@@ -410,6 +419,7 @@ menu_button_clicked_cb(GtkToolButton *tool_button,
CLICKED_CB(0, 0, zoom_out_clicked_cb);
CLICKED_CB(0, 1, zoom_reset_clicked_cb);
CLICKED_CB(0, 2, zoom_in_clicked_cb);
+ CLICKED_CB(4, 1, developer_tools_clicked_cb);
CLICKED_CB(4, 2, preferences_clicked_cb);
CLICKED_CB(5, 0, about_clicked_cb);
CLICKED_CB(5, 2, quit_clicked_cb);