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/widgets.h | |
| parent | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (diff) | |
gtkui: added get/set_design_mode APIs;
pltbrowser: disable its menu in design mode
Diffstat (limited to 'plugins/gtkui/widgets.h')
| -rw-r--r-- | plugins/gtkui/widgets.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/gtkui/widgets.h b/plugins/gtkui/widgets.h index ee8d7b05..9d262b6d 100644 --- a/plugins/gtkui/widgets.h +++ b/plugins/gtkui/widgets.h @@ -36,6 +36,9 @@ w_get_rootwidget (void); void w_set_design_mode (int active); +int +w_get_design_mode (void); + void w_reg_widget (const char *title, ddb_gtkui_widget_t *(*create_func) (void), ...); |