diff -r 4e0b38bbd6c4 -r 479209198de3 ui/ui/toolkit.h
--- a/ui/ui/toolkit.h	Sun Nov 19 09:38:23 2017 +0100
+++ b/ui/ui/toolkit.h	Wed Nov 22 08:47:52 2017 +0100
@@ -357,13 +357,6 @@
 void ui_set_visible(UIWIDGET widget, int visible);
 
 
-// label widgets
-UIWIDGET ui_label(UiObject *obj, char *label);
-UIWIDGET ui_llabel(UiObject *obj, char *label);
-UIWIDGET ui_rlabel(UiObject *obj, char *label);
-UIWIDGET ui_space(UiObject *obj);
-UIWIDGET ui_separator(UiObject *obj);
-
 #ifdef	__cplusplus
 }
 #endif