diff options
| author | Patrick McDermott <pj@pehjota.net> | 2017-10-06 05:03:22 (EDT) |
|---|---|---|
| committer | Patrick McDermott <pj@pehjota.net> | 2017-10-06 05:03:22 (EDT) |
| commit | 7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c (patch) | |
| tree | 942e68d8584ea1f09ab778e254529f9ff0f93073 /src | |
| parent | d153401dfb0298cdcc62a9a84914f49950f4d6ce (diff) | |
| download | marquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.zip marquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.tar.gz marquee-7562f4d9ff2e34c94b0376c10b8c72a2fc560d8c.tar.bz2 | |
MqTabChrome: Make developer tools button functional
Diffstat (limited to 'src')
| -rw-r--r-- | src/tab-chrome.c | 10 |
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); |