diff -r 5223de7979e2 -r d51e334c1439 ui/ui/button.h
--- a/ui/ui/button.h	Thu Aug 20 17:14:27 2015 +0200
+++ b/ui/ui/button.h	Sat Oct 10 15:29:31 2015 +0200
@@ -37,6 +37,9 @@
 
 UIWIDGET ui_button(UiObject *obj, char *label, ui_callback f, void *data);
 
+UIWIDGET ui_checkbox(UiObject *obj, char *label, UiInteger *value);
+UIWIDGET ui_checkbox_cb(UiObject *obj, char *label, ui_callback f, void *data);
+
 
 #ifdef	__cplusplus
 }