171 char* ui_getappdir(); |
171 char* ui_getappdir(); |
172 char* ui_configfile(char *name); |
172 char* ui_configfile(char *name); |
173 |
173 |
174 void ui_main(); |
174 void ui_main(); |
175 void ui_show(UiObject *obj); |
175 void ui_show(UiObject *obj); |
|
176 void ui_set_enabled(UIWIDGET widget, int enabled); |
176 |
177 |
177 void ui_set_document(UiObject *obj, void *document); |
178 void ui_set_document(UiObject *obj, void *document); |
178 void ui_detach_document(UiObject *obj, void *document); |
179 void ui_detach_document(UiObject *obj, void *document); |
179 |
180 |
180 void* ui_document_new(size_t size); |
181 void* ui_document_new(size_t size); |