diff -r c96169444d88 -r 34513f76d5a8 ui/gtk/menu.c
--- a/ui/gtk/menu.c	Thu Apr 10 11:37:41 2014 +0200
+++ b/ui/gtk/menu.c	Fri Apr 11 17:02:19 2014 +0200
@@ -34,6 +34,7 @@
 #include "menu.h"
 #include "toolkit.h"
 #include "../common/context.h"
+#include "../ui/properties.h"
 #include "../ui/window.h"
 
 static UcxList *menus;