1
15
16 package gate;
17
18
19 public interface GateConstants {
20
21
22 public static final String GATE_DOT_XML = "gate.xml";
23
24
25 public static final String PLUGINS = "plugins";
26
27
28 public static final String GATE_DOT_SER = "gate.session";
29
30
31 public static final String GATE_CONFIG_PROPERTY = "gate.config";
32
33
34 public static final String
35 ORIGINAL_MARKUPS_ANNOT_SET_NAME = "Original markups";
36
37
38
39 public static final String LOOK_AND_FEEL = "Look_and_Feel";
40
41
42 public static final String TEXT_COMPONENTS_FONT = "Text_components_font";
43
44
45 public static final String MENUS_FONT = "Menus_font";
46
47
48 public static final String OTHER_COMPONENTS_FONT = "Other_components_font";
49
50
51 public static final String MAIN_FRAME_WIDTH = "Main_frame_width";
52
53
54 public static final String MAIN_FRAME_HEIGHT = "Main_frame_height";
55
56
57 public static final String SAVE_OPTIONS_ON_EXIT = "Save_options_on_exit";
58
59
60 public static final String SAVE_SESSION_ON_EXIT = "Save_session_on_exit";
61
62
63 public static final String SAVE_FEATURES_WHEN_PRESERVING_FORMAT =
64 "Save_features_when_preserving_format";
65
66
69 public static final String KNOWN_PLUGIN_PATH_KEY = "Known_plugin_path";
70
71
74 public static final String AUTOLOAD_PLUGIN_PATH_KEY = "Load_plugin_path";
75
76
79 public static final String AUTOLOAD_PLUGIN_PATH_PROPERTY_NAME = "load.plugin.path";
80
81
84 public static final String GATE_HOME_PROPERTY_NAME = "gate.home";
85
86
89 public static final String PLUGINS_HOME_PROPERTY_NAME = "gate.plugins.home";
90
91
94 public static final String SITE_CONFIG_PROPERTY_NAME = "gate.site.config";
95
98 public static final String USER_CONFIG_PROPERTY_NAME = "gate.user.config";
99
100
103 public static final String GATE_SITE_CONFIG_PROPERTY_NAME = "gate.site.config";
104
105
108 public static final String GATE_USER_CONFIG_PROPERTY_NAME = "gate.user.config";
109
110
111
112 public static final String
113 ORIGINAL_DOCUMENT_CONTENT_FEATURE_NAME = "Original_document_content_on_load";
114
115
117 public static final String
118 DOCUMENT_REPOSITIONING_INFO_FEATURE_NAME = "Document_repositioning_info";
119
120
121 public static final String
122 DOCUMENT_ADD_SPACE_ON_UNPACK_FEATURE_NAME = "Document_add_space_on_unpack";
123
124
125 public static final String TITLE_JAVA_PROPERTY_NAME = "gate.slug.title";
126
127
128 public static final String APP_ICON_JAVA_PROPERTY_NAME = "gate.slug.icon";
129
130
131 public static final String APP_SPLASH_JAVA_PROPERTY_NAME = "gate.slug.splash";
132
133
134 public static final String ABOUT_URL_JAVA_PROPERTY_NAME = "gate.slug.abouturl";
135
136
137 public static final String APPLICATION_JAVA_PROPERTY_NAME = "gate.slug.app";
138
139
140 public static final String ANNOT_TYPE_TO_EXPORT = "annotTypesToExport";
141
142
143 public static final String
144 CORPUS_INDEX_DEFINITION_FEATURE_KEY = "Index_definition_feature_key";
145
146
147 public static final String
148 CORPUS_INDEX_STATISTICS_FEATURE_KEY = "Index_statistics_feature_key";
149
150
151 public static final String DOCEDIT_INSERT_APPEND = "docedit_insert_append";
152
153
154 public static final String DOCEDIT_INSERT_PREPEND = "docedit_insert_prepend";
155
156
157 public static final String THROWEX_FORMAT_PROPERTY_NAME =
158 "throwExceptionOnFormatError";
159
160
161 public static final String WORDNET_CONFIG_FILE = "Wordnet_config_file";
162
163
166
167 public static final String DOCUMENT_NEW_LINE_TYPE = "docNewLineType";
168
169 }