diff -r f8f22eb0b575 -r 2dda1ad6dc7a ui/ui/menu.h
--- a/ui/ui/menu.h	Wed Apr 02 13:21:11 2014 +0200
+++ b/ui/ui/menu.h	Wed Apr 02 20:31:47 2014 +0200
@@ -41,6 +41,9 @@
 
 void ui_menuitem(char *label, ui_callback f, void *userdata);
 void ui_menuitem_st(char *stockid, ui_callback f, void *userdata);
+void ui_menuitem_gr(char *label, ui_callback f, void *userdata, ...);
+void ui_menuitem_stgr(char *stockid, ui_callback f, void *userdata, ...);
+
 void ui_menuseparator();
 
 void ui_checkitem(char *label, ui_callback f, void *userdata);