diff options
| author |  waker <wakeroid@gmail.com> | 2012-04-11 16:01:23 +0200 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2012-04-11 16:01:23 +0200 |
| commit | 1f18193418e65563d51bc02c231555888200d930 (patch) | |
| tree | 3a3c6886495835e4617b63229ba4d8ae3d4fc818 /plugins/gtkui/widgets.h | |
| parent | ad4b2eaf2346230773dddf5852e5869de5a24ff8 (diff) | |
gtkui: widget api documented and extended to cover more functions
Diffstat (limited to 'plugins/gtkui/widgets.h')
| -rw-r--r-- | plugins/gtkui/widgets.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/plugins/gtkui/widgets.h b/plugins/gtkui/widgets.h index b22aba98..93bdfd48 100644 --- a/plugins/gtkui/widgets.h +++ b/plugins/gtkui/widgets.h @@ -42,6 +42,9 @@ w_reg_widget (const char *type, const char *title, ddb_gtkui_widget_t *(*create_ void w_unreg_widget (const char *type); +int +w_is_registered (const char *type); + ddb_gtkui_widget_t * w_create (const char *type); @@ -58,6 +61,9 @@ void w_append (ddb_gtkui_widget_t *cont, ddb_gtkui_widget_t *child); void +w_replace (ddb_gtkui_widget_t *w, ddb_gtkui_widget_t *from, ddb_gtkui_widget_t *to); + +void w_remove (ddb_gtkui_widget_t *cont, ddb_gtkui_widget_t *child); ddb_gtkui_widget_t * |