The menu bar GUI class.
|
MENU_FILE_NEW = 102
|
|
MENU_FILE_CLOSE = 103
|
|
MENU_FILE_CLOSE_ALL = 104
|
|
MENU_FILE_OPEN = 105
|
|
MENU_FILE_SAVE = 106
|
|
MENU_FILE_SAVE_AS = 107
|
|
MENU_FILE_EXIT = 108
|
|
MENU_VIEW_CONTROLLER = 109
|
|
MENU_VIEW_SPIN_VIEW = 110
|
|
MENU_VIEW_RESULTS = 111
|
|
MENU_VIEW_PIPE_EDIT = 112
|
|
MENU_VIEW_PROMPT = 113
|
|
MENU_TOOLS_FORMAT = 114
|
|
MENU_TOOLS_TEST_SUITE = 115
|
|
MENU_TOOLS_TEST_SUITE_ALL = 116
|
|
MENU_TOOLS_TEST_SUITE_SYS = 117
|
|
MENU_TOOLS_TEST_SUITE_UNIT = 118
|
|
MENU_TOOLS_TEST_SUITE_GUI = 119
|
|
MENU_TOOLS_SYS_INFO = 120
|
|
MENU_HELP_MANUAL = 121
|
|
MENU_HELP_MAIL = 122
|
|
MENU_HELP_REFS = 123
|
|
MENU_HELP_GPL = 124
|
|
MENU_HELP_ABOUT_GUI = 125
|
|
MENU_HELP_ABOUT = 126
|