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/gtkui/gtkui.c | |
| parent | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (diff) | |
gtkui: added get/set_design_mode APIs;
pltbrowser: disable its menu in design mode
Diffstat (limited to 'plugins/gtkui/gtkui.c')
| -rw-r--r-- | plugins/gtkui/gtkui.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/plugins/gtkui/gtkui.c b/plugins/gtkui/gtkui.c index 9bdd930e..c8604599 100644 --- a/plugins/gtkui/gtkui.c +++ b/plugins/gtkui/gtkui.c @@ -1754,6 +1754,8 @@ static ddb_gtkui_t plugin = { .w_override_signals = w_override_signals, .w_is_registered = w_is_registered, .w_get_rootwidget = w_get_rootwidget, + .w_set_design_mode = w_set_design_mode, + .w_get_design_mode = w_get_design_mode, .w_create = w_create, .w_destroy = w_destroy, .w_append = w_append, |