TGnomeUIInfoConfigurableTypes

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

);