--- 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);
+}