diff: ui/ui/toolkit.h
ui/ui/toolkit.h
- changeset 21
- 012418e7dc90
- parent 20
- 2dda1ad6dc7a
- child 22
- bcf880b29bc3
--- 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);
