diff options
author | waker <wakeroid@gmail.com> | 2013-08-18 21:32:08 +0200 |
---|---|---|
committer | waker <wakeroid@gmail.com> | 2013-08-18 21:32:08 +0200 |
commit | 99a3ab588806887523f12a06e73cb2daa27086d3 (patch) | |
tree | cb46bd93ce4c915a8359066e1335c1f2c54db5c6 /plugins/pltbrowser | |
parent | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (diff) |
gtkui: added get/set_design_mode APIs;
pltbrowser: disable its menu in design mode
Diffstat (limited to 'plugins/pltbrowser')
-rw-r--r-- | plugins/pltbrowser/pltbrowser.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/pltbrowser/pltbrowser.c b/plugins/pltbrowser/pltbrowser.c index c1e168d0..76f2b749 100644 --- a/plugins/pltbrowser/pltbrowser.c +++ b/plugins/pltbrowser/pltbrowser.c @@ -104,6 +104,9 @@ on_pltbrowser_button_press_event (GtkWidget *widget, GdkEventButton *event, gpointer user_data) { + if (gtkui_plugin->w_get_design_mode ()) { + return FALSE; + } if (event->type == GDK_BUTTON_PRESS && event->button == 3) { GtkTreePath *path; GtkTreeViewColumn *col; |