| Modifier and Type | Field and Description | 
|---|---|
| static String | ABOUT_URL_JAVA_PROPERTY_NAMEProperty to set help about box from command line | 
| static String | ADD_NAMESPACE_FEATURESKeys used in gate.xml or user config to specify the feature name to use to
 add to annotations in Original markups AS that contain namespace URI and
 prefix information. | 
| static String | ANNOT_TYPE_TO_EXPORTProperty to set slug annotation types for export Inline | 
| static String | APP_ICON_JAVA_PROPERTY_NAMEProperty to set icon of application from command line | 
| static String | APP_SPLASH_JAVA_PROPERTY_NAMEProperty to set splash of application from command line | 
| static String | APPLICATION_JAVA_PROPERTY_NAMEProperty to set slug application from command line | 
| static String | AUTOLOAD_PLUGIN_PATH_KEYThe key for the autoload plugins path option in the GATE config map | 
| static String | AUTOLOAD_PLUGIN_PATH_PROPERTY_NAMEThe name for the autoload plugins path system property | 
| static String | BUILTIN_CREOLE_DIR_PROPERTY_NAMEThe name of the built-in creole directory URL property | 
| static String | COMPILER_TYPE_KEYThe key for the gate.xml option to specify a compiler type to use to build
 the Java files compiled from JAPE grammars. | 
| static String | CORPUS_INDEX_DEFINITION_FEATURE_KEYThe key for the feature keeping the IndexDefinition | 
| static String | CORPUS_INDEX_STATISTICS_FEATURE_KEYThe key for the feature keeping the IndexStatistics | 
| static String | DOC_RTOL_ORIENTATIONOrientation of the document from right to left | 
| static String | DOCEDIT_INSERT_APPENDThe key used for document editor inser behaviour | 
| static String | DOCEDIT_INSERT_PREPENDThe key used for document editor inser behaviour | 
| static String | DOCEDIT_READ_ONLY | 
| static String | DOCUMENT_ADD_SPACE_ON_UNPACK_FEATURE_NAME | 
| static String | DOCUMENT_NEW_LINE_TYPEProperty for document new line type. | 
| static String | DOCUMENT_REPOSITIONING_INFO_FEATURE_NAMEThe key for the feature keeping the repositioning information between
 original and displayed content of the document | 
| static String | ELEMENT_NAMESPACE_PREFIX | 
| static String | ELEMENT_NAMESPACE_URI | 
| static String | GATE_CONFIG_PROPERTYThe name of the site config property (gate.config). | 
| static String | GATE_DOT_SERThe name of session state data files (gate.session). | 
| static String | GATE_DOT_XMLThe name of config data files (gate.xml). | 
| static String | GATE_HOME_PROPERTY_NAMEThe name of the GATE home system property | 
| static String | GATE_SITE_CONFIG_PROPERTY_NAMEThe name of the GATE site config system property | 
| static String | GATE_USER_CONFIG_PROPERTY_NAMEThe name of the GATE user config system property | 
| static String | GATE_USER_SESSION_PROPERTY_NAMEThe name of the property for setting the user session file name | 
| static String | HIDDEN_FEATURE_KEYKey used in resource features for hiding the resource fromthe GUI. | 
| static String | KNOWN_PLUGIN_PATH_KEYThe key for the known plugins path option in the GATE config map | 
| static String | LOOK_AND_FEELThe look and feel option name | 
| static String | MAIN_FRAME_HEIGHTThe key for the main window height | 
| static String | MAIN_FRAME_MAXIMIZEDThe key for determining if the main window should be maximized | 
| static String | MAIN_FRAME_WIDTHThe key for the main window width | 
| static String | MENU_PATH_KEYKey used in TOOL actions to store the 'menu path' under which the action
 should be placed in the Tools menu. | 
| static String | MENUS_FONTThe key for the font used for menus | 
| static String | ORIGINAL_DOCUMENT_CONTENT_FEATURE_NAMEThe key for the feature keeping the original content of the document | 
| static String | ORIGINAL_MARKUPS_ANNOT_SET_NAMEThe name of the annotation set storing original markups in a document | 
| static String | OTHER_COMPONENTS_FONTThe key for the font used for other GUI components | 
| static String | PLUGINSThe name of the installed plug-ins directory | 
| static String | PLUGINS_HOME_PROPERTY_NAMEThe name of the GATE plugins home system property | 
| static String | SAVE_FEATURES_WHEN_PRESERVING_FORMATDeprecated.  | 
| static String | SAVE_OPTIONS_ON_EXITThe key for the save options on exit value | 
| static String | SAVE_SESSION_ON_EXITThe key for the save session on exit value | 
| static String | SITE_CONFIG_PROPERTY_NAMEThe name of the GATE site config system property | 
| static String | TEXT_COMPONENTS_FONTThe key for the font used for text components | 
| static String | THROWEX_FORMAT_PROPERTY_NAMEDocument property to set throw of exception on parsing format error | 
| static String | TITLE_JAVA_PROPERTY_NAMEProperty to set title of application from command line | 
| static String | TOOLBAR_TEXTThe toolbar text option name | 
| static String | USER_CONFIG_PROPERTY_NAMEThe name of the GATE user config system property | 
| static String | WORDNET_CONFIG_FILEThe key for the WordNet config file | 
static final String GATE_DOT_XML
static final String PLUGINS
static final String GATE_DOT_SER
static final String GATE_CONFIG_PROPERTY
static final String ORIGINAL_MARKUPS_ANNOT_SET_NAME
static final String LOOK_AND_FEEL
static final String TEXT_COMPONENTS_FONT
static final String MENUS_FONT
static final String OTHER_COMPONENTS_FONT
static final String MAIN_FRAME_WIDTH
static final String MAIN_FRAME_HEIGHT
static final String TOOLBAR_TEXT
static final String MAIN_FRAME_MAXIMIZED
static final String SAVE_OPTIONS_ON_EXIT
static final String SAVE_SESSION_ON_EXIT
@Deprecated static final String SAVE_FEATURES_WHEN_PRESERVING_FORMAT
static final String KNOWN_PLUGIN_PATH_KEY
static final String AUTOLOAD_PLUGIN_PATH_KEY
static final String AUTOLOAD_PLUGIN_PATH_PROPERTY_NAME
static final String GATE_HOME_PROPERTY_NAME
static final String PLUGINS_HOME_PROPERTY_NAME
static final String SITE_CONFIG_PROPERTY_NAME
static final String USER_CONFIG_PROPERTY_NAME
static final String GATE_SITE_CONFIG_PROPERTY_NAME
static final String GATE_USER_CONFIG_PROPERTY_NAME
static final String GATE_USER_SESSION_PROPERTY_NAME
static final String BUILTIN_CREOLE_DIR_PROPERTY_NAME
static final String ORIGINAL_DOCUMENT_CONTENT_FEATURE_NAME
static final String DOCUMENT_REPOSITIONING_INFO_FEATURE_NAME
static final String DOCUMENT_ADD_SPACE_ON_UNPACK_FEATURE_NAME
static final String TITLE_JAVA_PROPERTY_NAME
static final String APP_ICON_JAVA_PROPERTY_NAME
static final String APP_SPLASH_JAVA_PROPERTY_NAME
static final String ABOUT_URL_JAVA_PROPERTY_NAME
static final String APPLICATION_JAVA_PROPERTY_NAME
static final String ANNOT_TYPE_TO_EXPORT
static final String CORPUS_INDEX_DEFINITION_FEATURE_KEY
static final String CORPUS_INDEX_STATISTICS_FEATURE_KEY
static final String DOCEDIT_INSERT_APPEND
static final String DOCEDIT_INSERT_PREPEND
static final String DOCEDIT_READ_ONLY
static final String DOC_RTOL_ORIENTATION
static final String THROWEX_FORMAT_PROPERTY_NAME
static final String WORDNET_CONFIG_FILE
static final String DOCUMENT_NEW_LINE_TYPE
static final String COMPILER_TYPE_KEY
static final String HIDDEN_FEATURE_KEY
static final String MENU_PATH_KEY
static final String ADD_NAMESPACE_FEATURES
static final String ELEMENT_NAMESPACE_URI
static final String ELEMENT_NAMESPACE_PREFIX
Copyright © 2024 GATE. All rights reserved.