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_api.h | |
parent | b1860d17e0ed1789a6f78786bd2426318a9bd5fd (diff) |
gtkui: added get/set_design_mode APIs;
pltbrowser: disable its menu in design mode
Diffstat (limited to 'plugins/gtkui/gtkui_api.h')
-rw-r--r-- | plugins/gtkui/gtkui_api.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/plugins/gtkui/gtkui_api.h b/plugins/gtkui/gtkui_api.h index 9dff7745..70d23824 100644 --- a/plugins/gtkui/gtkui_api.h +++ b/plugins/gtkui/gtkui_api.h @@ -138,12 +138,15 @@ typedef struct { // returns the toplevel widget ddb_gtkui_widget_t * (*w_get_rootwidget) (void); + // enter/exit design mode + void (*w_set_design_mode) (int active); + + // check whether we are in design mode + int (*w_get_design_mode) (void); + // create a widget of specified type ddb_gtkui_widget_t * (*w_create) (const char *type); - // set widget name - void (*w_set_name) (ddb_gtkui_widget_t *w, const char *name); - // destroy the widget void (*w_destroy) (ddb_gtkui_widget_t *w); |