diff -r decc6bf584aa -r 06bceda81a03 ui/ui/ui.h
--- a/ui/ui/ui.h	Fri Apr 04 11:29:17 2014 +0200
+++ b/ui/ui/ui.h	Fri Apr 04 17:45:36 2014 +0200
@@ -36,6 +36,7 @@
 #include "stock.h"
 #include "button.h"
 #include "text.h"
+#include "properties.h"
 
 #endif	/* UI_H */