diff -r 2dda1ad6dc7a -r 012418e7dc90 ui/ui/toolkit.h
--- a/ui/ui/toolkit.h	Wed Apr 02 20:31:47 2014 +0200
+++ b/ui/ui/toolkit.h	Thu Apr 03 11:12:22 2014 +0200
@@ -173,6 +173,7 @@
 
 void ui_main();
 void ui_show(UiObject *obj);
+void ui_set_enabled(UIWIDGET widget, int enabled);
 
 void ui_set_document(UiObject *obj, void *document);
 void ui_detach_document(UiObject *obj, void *document);