Modifier and Type | Field and Description |
---|---|
static String |
ABOUT_URL_JAVA_PROPERTY_NAME
Property to set help about box from command line
|
static String |
ADD_NAMESPACE_FEATURES
Keys 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_EXPORT
Property to set slug annotation types for export Inline
|
static String |
APP_ICON_JAVA_PROPERTY_NAME
Property to set icon of application from command line
|
static String |
APP_SPLASH_JAVA_PROPERTY_NAME
Property to set splash of application from command line
|
static String |
APPLICATION_JAVA_PROPERTY_NAME
Property to set slug application from command line
|
static String |
AUTOLOAD_PLUGIN_PATH_KEY
The key for the autoload plugins path option in the GATE config map
|
static String |
AUTOLOAD_PLUGIN_PATH_PROPERTY_NAME
The name for the autoload plugins path system property
|
static String |
BUILTIN_CREOLE_DIR_PROPERTY_NAME
The name of the built-in creole directory URL property
|
static String |
COMPILER_TYPE_KEY
The 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_KEY
The key for the feature keeping the IndexDefinition
|
static String |
CORPUS_INDEX_STATISTICS_FEATURE_KEY
The key for the feature keeping the IndexStatistics
|
static String |
DOC_RTOL_ORIENTATION
Orientation of the document from right to left
|
static String |
DOCEDIT_INSERT_APPEND
The key used for document editor inser behaviour
|
static String |
DOCEDIT_INSERT_PREPEND
The 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_TYPE
Property for document new line type.
|
static String |
DOCUMENT_REPOSITIONING_INFO_FEATURE_NAME
The 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_PROPERTY
The name of the site config property (gate.config).
|
static String |
GATE_DOT_SER
The name of session state data files (gate.session).
|
static String |
GATE_DOT_XML
The name of config data files (gate.xml).
|
static String |
GATE_HOME_PROPERTY_NAME
The name of the GATE home system property
|
static String |
GATE_SITE_CONFIG_PROPERTY_NAME
The name of the GATE site config system property
|
static String |
GATE_USER_CONFIG_PROPERTY_NAME
The name of the GATE user config system property
|
static String |
GATE_USER_SESSION_PROPERTY_NAME
The name of the property for setting the user session file name
|
static String |
HIDDEN_FEATURE_KEY
Key used in resource features for hiding the resource fromthe GUI.
|
static String |
KNOWN_PLUGIN_PATH_KEY
The key for the known plugins path option in the GATE config map
|
static String |
LOOK_AND_FEEL
The look and feel option name
|
static String |
MAIN_FRAME_HEIGHT
The key for the main window height
|
static String |
MAIN_FRAME_MAXIMIZED
The key for determining if the main window should be maximized
|
static String |
MAIN_FRAME_WIDTH
The key for the main window width
|
static String |
MENU_PATH_KEY
Key used in TOOL actions to store the 'menu path' under which the action
should be placed in the Tools menu.
|
static String |
MENUS_FONT
The key for the font used for menus
|
static String |
ORIGINAL_DOCUMENT_CONTENT_FEATURE_NAME
The key for the feature keeping the original content of the document
|
static String |
ORIGINAL_MARKUPS_ANNOT_SET_NAME
The name of the annotation set storing original markups in a document
|
static String |
OTHER_COMPONENTS_FONT
The key for the font used for other GUI components
|
static String |
PLUGINS
The name of the installed plug-ins directory
|
static String |
PLUGINS_HOME_PROPERTY_NAME
The name of the GATE plugins home system property
|
static String |
SAVE_FEATURES_WHEN_PRESERVING_FORMAT
Deprecated.
|
static String |
SAVE_OPTIONS_ON_EXIT
The key for the save options on exit value
|
static String |
SAVE_SESSION_ON_EXIT
The key for the save session on exit value
|
static String |
SITE_CONFIG_PROPERTY_NAME
The name of the GATE site config system property
|
static String |
TEXT_COMPONENTS_FONT
The key for the font used for text components
|
static String |
THROWEX_FORMAT_PROPERTY_NAME
Document property to set throw of exception on parsing format error
|
static String |
TITLE_JAVA_PROPERTY_NAME
Property to set title of application from command line
|
static String |
TOOLBAR_TEXT
The toolbar text option name
|
static String |
USER_CONFIG_PROPERTY_NAME
The name of the GATE user config system property
|
static String |
WORDNET_CONFIG_FILE
The 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.