Source position: gnomeapphelper.inc line 10
type TGnomeUIInfoConfigurableTypes = ( |
GNOME_APP_CONFIGURABLE_ITEM_NEW, |
GNOME_APP_CONFIGURABLE_ITEM_OPEN, |
GNOME_APP_CONFIGURABLE_ITEM_SAVE, |
GNOME_APP_CONFIGURABLE_ITEM_SAVE_AS, |
GNOME_APP_CONFIGURABLE_ITEM_REVERT, |
GNOME_APP_CONFIGURABLE_ITEM_PRINT, |
GNOME_APP_CONFIGURABLE_ITEM_PRINT_SETUP, |
GNOME_APP_CONFIGURABLE_ITEM_CLOSE, |
GNOME_APP_CONFIGURABLE_ITEM_EXIT, |
GNOME_APP_CONFIGURABLE_ITEM_CUT, |
GNOME_APP_CONFIGURABLE_ITEM_COPY, |
GNOME_APP_CONFIGURABLE_ITEM_PASTE, |
GNOME_APP_CONFIGURABLE_ITEM_CLEAR, |
GNOME_APP_CONFIGURABLE_ITEM_UNDO, |
GNOME_APP_CONFIGURABLE_ITEM_REDO, |
GNOME_APP_CONFIGURABLE_ITEM_FIND, |
GNOME_APP_CONFIGURABLE_ITEM_FIND_AGAIN, |
GNOME_APP_CONFIGURABLE_ITEM_REPLACE, |
GNOME_APP_CONFIGURABLE_ITEM_PROPERTIES, |
GNOME_APP_CONFIGURABLE_ITEM_PREFERENCES, |
GNOME_APP_CONFIGURABLE_ITEM_ABOUT, |
GNOME_APP_CONFIGURABLE_ITEM_SELECT_ALL, |
GNOME_APP_CONFIGURABLE_ITEM_NEW_WINDOW, |
GNOME_APP_CONFIGURABLE_ITEM_CLOSE_WINDOW, |
GNOME_APP_CONFIGURABLE_ITEM_NEW_GAME, |
GNOME_APP_CONFIGURABLE_ITEM_PAUSE_GAME, |
GNOME_APP_CONFIGURABLE_ITEM_RESTART_GAME, |
GNOME_APP_CONFIGURABLE_ITEM_UNDO_MOVE, |
GNOME_APP_CONFIGURABLE_ITEM_REDO_MOVE, |
GNOME_APP_CONFIGURABLE_ITEM_HINT, |
GNOME_APP_CONFIGURABLE_ITEM_SCORES, |
GNOME_APP_CONFIGURABLE_ITEM_END_GAME |
); |