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 GATE_DOT_SER = "gate.session";
26
27
28 public static final String GATE_CONFIG_PROPERTY = "gate.config";
29
30
31 public static final String
32 ORIGINAL_MARKUPS_ANNOT_SET_NAME = "Original markups";
33
34
35
36 public static final String LOOK_AND_FEEL = "Look_and_Feel";
37
38
39 public static final String TEXT_COMPONENTS_FONT = "Text_components_font";
40
41
42 public static final String MENUS_FONT = "Menus_font";
43
44
45 public static final String OTHER_COMPONENTS_FONT = "Other_components_font";
46
47
48 public static final String MAIN_FRAME_WIDTH = "Main_frame_width";
49
50
51 public static final String MAIN_FRAME_HEIGHT = "Main_frame_height";
52
53
54 public static final String SAVE_OPTIONS_ON_EXIT = "Save_options_on_exit";
55
56
57 public static final String SAVE_SESSION_ON_EXIT = "Save_session_on_exit";
58
59
60 public static final String SAVE_FEATURES_WHEN_PRESERVING_FORMAT =
61 "Save_features_when_preserving_format";
62
63
66 public static final String KNOWN_PLUGIN_PATH_KEY = "Known_plugin_path";
67
68
71 public static final String LOAD_PLUGIN_PATH_KEY = "Load_plugin_path";
72
73
76 public static final String LOAD_PLUGIN_PATH_SYSPROP_KEY = "load.plugin.path";
77
78
81 public static final String GATE_HOME_SYSPROP_KEY = "gate.home";
82
83
84
85 public static final String
86 ORIGINAL_DOCUMENT_CONTENT_FEATURE_NAME = "Original_document_content_on_load";
87
88
90 public static final String
91 DOCUMENT_REPOSITIONING_INFO_FEATURE_NAME = "Document_repositioning_info";
92
93
94 public static final String
95 DOCUMENT_ADD_SPACE_ON_UNPACK_FEATURE_NAME = "Document_add_space_on_unpack";
96
97
98 public static final String TITLE_JAVA_PROPERTY_NAME = "gate.slug.title";
99
100
101 public static final String APP_ICON_JAVA_PROPERTY_NAME = "gate.slug.icon";
102
103
104 public static final String APP_SPLASH_JAVA_PROPERTY_NAME = "gate.slug.splash";
105
106
107 public static final String ABOUT_URL_JAVA_PROPERTY_NAME = "gate.slug.abouturl";
108
109
110 public static final String APPLICATION_JAVA_PROPERTY_NAME = "gate.slug.app";
111
112
113 public static final String ANNOT_TYPE_TO_EXPORT = "annotTypesToExport";
114
115
116 public static final String
117 CORPUS_INDEX_DEFINITION_FEATURE_KEY = "Index_definition_feature_key";
118
119
120 public static final String
121 CORPUS_INDEX_STATISTICS_FEATURE_KEY = "Index_statistics_feature_key";
122
123
124 public static final String DOCEDIT_INSERT_APPEND = "docedit_insert_append";
125
126
127 public static final String DOCEDIT_INSERT_PREPEND = "docedit_insert_prepend";
128
129
130 public static final String THROWEX_FORMAT_PROPERTY_NAME =
131 "throwExceptionOnFormatError";
132
133
134 public static final String WORDNET_CONFIG_FILE = "Wordnet_config_file";
135
136
139
140 public static final String DOCUMENT_NEW_LINE_TYPE = "docNewLineType";
141
142 }