diff -r 1f419bd32da1 -r eb5269000bc8 ui/ui/toolkit.h
--- a/ui/ui/toolkit.h	Sat Dec 07 12:14:59 2013 +0100
+++ b/ui/ui/toolkit.h	Sun Dec 08 11:20:41 2013 +0000
@@ -107,11 +107,19 @@
 void ui_show(UiObject *obj);
 
 void* ui_document_create(UiObject *obj, size_t size);
+void  ui_document_destroy(void *doc);
+
 void* ui_document_malloc(void *doc, size_t size);
 void* ui_document_calloc(void *doc, size_t nelem, size_t elsize);
 void  ui_document_free(void *doc, void *ptr);
 void* ui_document_realloc(void *doc, void *ptr, size_t size);
 
+void ui_document_addint(void *doc, char *name);
+void ui_document_regint(void *doc, char *name, UiInteger *i);
+void ui_document_setint(void *doc, char *name, int val);
+int  ui_document_getint(void *doc, char *name);
+
+
 #ifdef	__cplusplus
 }
 #endif