diff -r 2dda1ad6dc7a -r 012418e7dc90 ui/gtk/toolkit.c --- a/ui/gtk/toolkit.c Wed Apr 02 20:31:47 2014 +0200 +++ b/ui/gtk/toolkit.c Thu Apr 03 11:12:22 2014 +0200 @@ -62,5 +62,15 @@ } void ui_show(UiObject *obj) { + uic_check_group_widgets(obj->ctx); gtk_widget_show_all(obj->widget); } + +void ui_set_enabled(UIWIDGET widget, int enabled) { + gtk_widget_set_sensitive(widget, enabled); +} + + +void ui_destroy_userdata(GtkWidget *object, void *userdata) { + free(userdata); +}