diff: ui/ui/menu.h
ui/ui/menu.h
- changeset 20
- 2dda1ad6dc7a
- parent 14
- e2fd132ab781
- child 73
- 473acef47ddd
--- 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);
