GNOMEUIINFO_SEPARATOR, GNOMEUIINFO_MENU_EXIT_ITEM(game_quit_callback, NULL), GNOMEUIINFO_END }; GnomeUIInfo settingsmenu[] = { GNOMEUIINFO_MENU_PREFERENCES_ITEM(game_preferences_callback, NULL), GNOMEUIINFO_END }; GnomeUIInfo helpmenu[] = { GNOMEUIINFO_HELP("samegnome"), GNOMEUIINFO_MENU_ABOUT_ITEM(game_about_callback, NULL), GNOMEUIINFO_END }; GnomeUIInfo mainmenu[] = { GNOMEUIINFO_MENU_GAME_TREE(gamemenu), GNOMEUIINFO_MENU_SETTINGS_TREE(settingsmenu), GNOMEUIINFO_MENU_HELP_TREE(helpmenu), GNOMEUIINFO_END }; #define ELEMENTS(x) (sizeof (x) / sizeof (x [0]))
canvas_map_zoom_1, NULL, NULL, GNOME_APP_PIXMAP_NONE, NULL, '1', GDK_CONTROL_MASK, NULL }, GNOMEUIINFO_END }; static GnomeUIInfo settings_menu_uiinfo[] = { GNOMEUIINFO_MENU_PREFERENCES_ITEM (on_preferences1_activate, NULL), GNOMEUIINFO_END }; static GnomeUIInfo help_menu_uiinfo[] = { GNOMEUIINFO_HELP("teg"), GNOMEUIINFO_MENU_ABOUT_ITEM (on_about_activate, NULL), GNOMEUIINFO_END }; static GnomeUIInfo menubar_uiinfo[] = { GNOMEUIINFO_MENU_GAME_TREE (game_menu_uiinfo), GNOMEUIINFO_SUBTREE(N_("_Actions"), actions_menu_uiinfo), /* GNOMEUIINFO_MENU_EDIT_TREE (edit_menu_uiinfo), */ GNOMEUIINFO_MENU_VIEW_TREE (view_menu_uiinfo), GNOMEUIINFO_MENU_SETTINGS_TREE (settings_menu_uiinfo), GNOMEUIINFO_MENU_HELP_TREE (help_menu_uiinfo), GNOMEUIINFO_END };