--- a/ui/ui/toolkit.h	Mon May 23 12:28:32 2016 +0200
+++ b/ui/ui/toolkit.h	Wed Jul 13 15:14:09 2016 +0200
@@ -34,8 +34,10 @@
 #ifdef __OBJC__
 #import <Cocoa/Cocoa.h>
 #define UIWIDGET NSView*
+#define UIMENU   NSMenu*
 #else
 typedef void* UIWIDGET;
+typedef void* UIMENU;
 #endif
 
 #elif UI_GTK2 || UI_GTK3