delete children widget

2016-05-04 15:21:52 +02:00
parent 87acde28f7
commit deefb1854f
4 changed files with 100 additions and 1 deletions
@@ -16,6 +16,7 @@ gui *gui_init(void);

 /* position = -1 to put at the end */
 void widget_add_child(gui *gui, widget *parent, widget *child, int position);
+void widget_del_child(gui *gui, widget *parent, widget *child);
 void widget_dirty(gui *gui, widget *this);

 widget *new_toplevel_window(gui *gui, int width, int height, char *title);