/[eiffelstudio]/trunk/Delivery/eifinit/studio/spec/windows/default.xml
ViewVC logotype

Contents of /trunk/Delivery/eifinit/studio/spec/windows/default.xml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 47743 - (show annotations)
Thu Jan 20 20:40:38 2005 UTC (15 years, 1 month ago) by bennob
File MIME type: text/xml
File size: 65125 byte(s)
Added force settings command to diagram toolbar.

1 <EIFFEL_DOCUMENT>
2 <TOPIC TOPIC_ID="EiffelStudio_preferences" ICON="icon_preferences_root">
3 <HEAD>EiffelStudio Resources, version 5.5</HEAD>
4 <TOPIC TOPIC_ID="Global_preferences" ICON="icon_preferences_folder">
5 <HEAD>Global preferences</HEAD>
6 <TEXT DESCRIPTION="Text files format: True = Windows / False = UNIX">text_mode_is_windows<BOOLEAN>True</BOOLEAN></TEXT>
7 <TEXT>editor<STRING>notepad</STRING></TEXT>
8 <TEXT>temporary_directory<STRING>C:\tmp</STRING></TEXT>
9 <TEXT DESCRIPTION="Command used to launch an external editor">shell_command<STRING>notepad $target</STRING></TEXT>
10 <TEXT>filter_name<STRING>PostScript</STRING></TEXT>
11 <TEXT>filter_command<STRING>none</STRING></TEXT>
12 <TEXT DESCRIPTION="Use an external command to print?">use_external_editor<BOOLEAN>False</BOOLEAN></TEXT>
13 <TEXT DESCRIPTION="Command invoked to print a text">print_shell_command<STRING>notepad /p $target</STRING></TEXT>
14 <TEXT DESCRIPTION="Send a postscript file to this command?">use_postscript<BOOLEAN>False</BOOLEAN></TEXT>
15 <TEXT DESCRIPTION="Number of projects kept in the recent projects list">recent_projects_number<INTEGER>10</INTEGER></TEXT>
16 <TEXT DESCRIPTION="Launch debugger for debugging .NET projects">dotnet_debugger<LIST_SELECTED_STRING>EiffelStudio Dbg;cordbg;DbgCLR;</LIST_SELECTED_STRING></TEXT>
17 </TOPIC>
18 <TOPIC TOPIC_ID="Tools" ICON="icon_preferences_folder">
19 <HEAD>Tools</HEAD>
20 <TOPIC TOPIC_ID="Browsing_tools" ICON="icon_preferences_folder">
21 <HEAD>Browsing tools</HEAD>
22 <TEXT DESCRIPTION="Maximum number of items displayed in the history combo boxes">history_size<INTEGER>10</INTEGER></TEXT>
23 <TEXT DESCRIPTION="Allow class name completion in the address combo boxes">class_completion<BOOLEAN>True</BOOLEAN></TEXT>
24 <TEXT DESCRIPTION="Show only one tool (Features, Clusters, Search, Windows) at a time" IMMEDIATE_EFFECT="no">development_window__left_panel_use_explorer_style<BOOLEAN>False</BOOLEAN></TEXT>
25 <TEXT DESCRIPTION="Automatically expand the feature tree">expand_feature_tree<BOOLEAN>True</BOOLEAN></TEXT>
26 <TEXT DESCRIPTION="Display editor on left?" IMMEDIATE_EFFECT="no">editor_left_side<BOOLEAN>False</BOOLEAN></TEXT>
27 <TEXT DESCRIPTION="Maximized editor tools full screen?" IMMEDIATE_EFFECT="yes">editor_maximized<BOOLEAN>True</BOOLEAN></TEXT>
28 <TEXT DESCRIPTION="Docked tools track main window" IMMEDIATE_EFFECT="yes">dock_tracking<BOOLEAN>True</BOOLEAN></TEXT>
29 </TOPIC>
30 <TOPIC TOPIC_ID="Context_tool" ICON="icon_preferences_folder">
31 <HEAD>Context tools</HEAD>
32 <TOPIC TOPIC_ID="Diagram_tool" ICON="icon_preferences_folder">
33 <HEAD>Diagram tool</HEAD>
34 <TEXT DESCRIPTION="Show ALL classes in the diagram (ignore the following list)?">ignore_excluded_class_figures<BOOLEAN>False</BOOLEAN></TEXT>
35 <TEXT DESCRIPTION="Names of classes that should not appear in generated diagrams">excluded_class_figures<LIST_STRING>INTEGER;BOOLEAN;STRING;CHARACTER;REAL;DOUBLE</LIST_STRING></TEXT>
36 <TEXT DESCRIPTION="Show ancestors of a class up to a level of">ancestor_depth<INTEGER>1</INTEGER></TEXT>
37 <TEXT DESCRIPTION="Show descendants of a class down to a level of">descendant_depth<INTEGER>1</INTEGER></TEXT>
38 <TEXT DESCRIPTION="Show suppliers of a class up to a level of">supplier_depth<INTEGER>0</INTEGER></TEXT>
39 <TEXT DESCRIPTION="Show clients of a class up to a level of">client_depth<INTEGER>0</INTEGER></TEXT>
40 <TEXT DESCRIPTION="Show superclusters of a cluster up to a level of">supercluster_depth<INTEGER>1</INTEGER></TEXT>
41 <TEXT DESCRIPTION="Show subclusters of a cluster down to a level of">subcluster_depth<INTEGER>1</INTEGER></TEXT>
42 <TEXT DESCRIPTION="Autoscroll speed in percent (0% no scroll, 100% fast scroll)">diagram_auto_scroll_speed<INTEGER>50</INTEGER></TEXT>
43
44 <TOPIC TOPIC_ID="BON_Diagrams" ICON="icon_preferences_folder">
45 <HEAD>BON Diagrams</HEAD>
46 <TEXT DESCRIPTION="Color for BON class figures">bon_class_fill_color<COLOR>145;255;145</COLOR></TEXT>
47 <TEXT DESCRIPTION="Color for uncompiled BON class figures">bon_class_uncompiled_fill_color<COLOR>180;180;180</COLOR></TEXT>
48 <TEXT DESCRIPTION="Color for class names in BON class figures">bon_class_name_color<COLOR>0;0;160</COLOR></TEXT>
49 <TEXT DESCRIPTION="Font for class names in BON class figures">bon_class_name_font<FONT>Arial-r-regular-16-sans</FONT></TEXT>
50 <TEXT DESCRIPTION="Color for generics in BON class figures">bon_class_generics_color<COLOR>0;0;0</COLOR></TEXT>
51 <TEXT DESCRIPTION="Font for generics in BON class figures">bon_class_generics_font<FONT>Arial-r-bold-15-sans</FONT></TEXT>
52
53 <TEXT DESCRIPTION="Color for BON inheritance links">bon_inheritance_color<COLOR>0;0;0</COLOR></TEXT>
54 <TEXT DESCRIPTION="Line width for BON inheritance links">bon_inheritance_line_width<INTEGER>2</INTEGER></TEXT>
55
56 <TEXT DESCRIPTION="Color for BON client supplier links">bon_client_color<COLOR>0;128;64</COLOR></TEXT>
57 <TEXT DESCRIPTION="Line width for BON client supplier links">bon_client_line_width<INTEGER>5</INTEGER></TEXT>
58 <TEXT DESCRIPTION="Color for feature names on BON client supplier links">bon_client_label_color<COLOR>0;0;0</COLOR></TEXT>
59 <TEXT DESCRIPTION="Font for feature names on BON client supplier links">bon_client_label_font<FONT>Arial-r-regular-14-sans</FONT></TEXT>
60
61 <TEXT DESCRIPTION="Color for BON cluster line">bon_cluster_line_color<COLOR>0;128;0</COLOR></TEXT>
62 <TEXT DESCRIPTION="Iconified BON Cluster fill color">bon_cluster_iconified_fill_color<COLOR>183;255;201</COLOR></TEXT>
63 <TEXT DESCRIPTION="BON cluster name area fill color">bon_cluster_name_area_color<COLOR>215;255;255</COLOR></TEXT>
64 <TEXT DESCRIPTION="BON cluster name color">bon_cluster_name_color<COLOR>0;0;0</COLOR></TEXT>
65 <TEXT DESCRIPTION="BON cluster name font">bon_cluster_name_font<FONT>Arial-r-bold-15-sans</FONT></TEXT>
66 </TOPIC>
67 <TOPIC TOPIC_ID="UML_Diagrams" ICON="icon_preferences_folder">
68 <HEAD>UML Diagrams</HEAD>
69
70 <TEXT DESCRIPTION="Color for UML class figures">uml_class_fill_color<COLOR>255;255;255</COLOR></TEXT>
71 <TEXT DESCRIPTION="Color for class names in UML class figures">uml_class_name_color<COLOR>0;25;127</COLOR></TEXT>
72 <TEXT DESCRIPTION="Font for class names in UML class figures">uml_class_name_font<FONT>Arial-r-regular-16-sans</FONT></TEXT>
73 <TEXT DESCRIPTION="Font for names of deferred classes in UML class figures">uml_class_deferred_font<FONT>Arial-i-regular-16-sans</FONT></TEXT>
74 <TEXT DESCRIPTION="Color for generics in UML class figures">uml_generics_color<COLOR>180;0;0</COLOR></TEXT>
75 <TEXT DESCRIPTION="Font for generics in UML class figures">uml_generics_font<FONT>Arial-r-bold-15-sans</FONT></TEXT>
76 <TEXT DESCRIPTION="Color for class properties in UML class figures">uml_class_properties_color<COLOR>127;0;0</COLOR></TEXT>
77 <TEXT DESCRIPTION="Font for class properties in UML class figures">uml_class_properties_font<FONT>Arial-i-regular-14-sans</FONT></TEXT>
78 <TEXT DESCRIPTION="Color for class features in UML class figures">uml_class_features_color<COLOR>0;127;0</COLOR></TEXT>
79 <TEXT DESCRIPTION="Font for class features in UML class figures">uml_class_features_font<FONT>Arial-r-regular-14-sans</FONT></TEXT>
80 <TEXT DESCRIPTION="Font for class feature sections in UML class figures">uml_class_feature_section_font<FONT>Arial-r-bold-14-sans</FONT></TEXT>
81 <TEXT DESCRIPTION="Color for class feature sections in UML class figures">uml_class_feature_section_color<COLOR>0;0;0</COLOR></TEXT>
82
83 <TEXT DESCRIPTION="Color for UML inheritance links">uml_inheritance_color<COLOR>0;0;0</COLOR></TEXT>
84 <TEXT DESCRIPTION="Line width for UML inheritance links">uml_inheritance_line_width<INTEGER>1</INTEGER></TEXT>
85
86 <TEXT DESCRIPTION="Color for UML client supplier links">uml_client_color<COLOR>0;0;0</COLOR></TEXT>
87 <TEXT DESCRIPTION="Line width for UML client supplier links">uml_client_line_width<INTEGER>1</INTEGER></TEXT>
88 <TEXT DESCRIPTION="Color for feature names on UML client supplier links">uml_client_label_color<COLOR>0;0;0</COLOR></TEXT>
89 <TEXT DESCRIPTION="Font for feature names on UML client supplier links">uml_client_label_font<FONT>Arial-r-regular-15-sans</FONT></TEXT>
90
91 <TEXT DESCRIPTION="Color for UML cluster line">uml_cluster_line_color<COLOR>0;0;0</COLOR></TEXT>
92 <TEXT DESCRIPTION="Iconified UML Cluster fill color">uml_cluster_iconified_fill_color<COLOR>255;255;255</COLOR></TEXT>
93 <TEXT DESCRIPTION="UML cluster name area fill color">uml_cluster_name_area_color<COLOR>255;255;255</COLOR></TEXT>
94 <TEXT DESCRIPTION="UML cluster name color">uml_cluster_name_color<COLOR>0;0;0</COLOR></TEXT>
95 <TEXT DESCRIPTION="UML cluster name font">uml_cluster_name_font<FONT>Arial-r-regular-14-sans</FONT></TEXT>
96 </TOPIC>
97 </TOPIC>
98 <TEXT DESCRIPTION="Link the context tool with other components by default?">unified_stone<BOOLEAN>False</BOOLEAN></TEXT>
99 <TEXT DESCRIPTION="Order used to sort feature clauses in formatted texts">feature_clause_order<LIST_STRING>Initialization;Access;Measurement;Comparison;Status report;Status setting;Cursor movement;Element change;Removal;Resizing;Transformation;Conversion;Duplication;Miscellaneous;Basic operations;Obsolete;Inapplicable;Implementation;*</LIST_STRING></TEXT>
100 <TEXT DESCRIPTION="Show all callers (as opposed to local callers) in `callers' form">show_all_callers<BOOLEAN>True</BOOLEAN></TEXT>
101 <TEXT DESCRIPTION="Show syntactical suppliers (as opposed to actual suppliers) in `suppliers' form">show_syntactical_suppliers<BOOLEAN>True</BOOLEAN></TEXT>
102 <TEXT DESCRIPTION="Indexing items that need not be included in formatted texts">excluded_indexing_items<LIST_STRING>revision;date;status</LIST_STRING></TEXT>
103 <TEXT DESCRIPTION="Class format that is selected by default">default_class_formatter_index<INTEGER>5</INTEGER></TEXT>
104 <TEXT DESCRIPTION="Feature format that is selected by default">default_feature_formatter_index<INTEGER>2</INTEGER></TEXT>
105 <TEXT DESCRIPTION="Receiver of control-right-click">ctrl_right_click_receiver<LIST_SELECTED_STRING>new_window;editor;context;new_editor;new_context;external</LIST_SELECTED_STRING></TEXT>
106 <TEXT>formatters_history_size<INTEGER>60</INTEGER></TEXT>
107 </TOPIC>
108 <TOPIC TOPIC_ID="Editor" ICON="icon_preferences_folder">
109 <HEAD>Editor</HEAD>
110 <TEXT DESCRIPTION="Automatic update when the file has not been modified">automatic_update<BOOLEAN>True</BOOLEAN></TEXT>
111 <TEXT DESCRIPTION="Underscore '_' is a word separator">underscore_is_separator<BOOLEAN>False</BOOLEAN></TEXT>
112 <TEXT DESCRIPTION="Complete once and constants with a first upper case character">once_and_constant_in_upper<BOOLEAN>False</BOOLEAN></TEXT>
113 <TEXT DESCRIPTION="Quadruple click selects all">quadruple_click<BOOLEAN>True</BOOLEAN></TEXT>
114 <TEXT DESCRIPTION="Use tabulations for automatic indentation">tab_for_indentation<BOOLEAN>True</BOOLEAN></TEXT>
115 <TOPIC TOPIC_ID="Keyboard_shortcuts" ICON="icon_preferences_folder">
116 <HEAD>Keyboard Shortcuts</HEAD>
117 <TOPIC TOPIC_ID="Autocomplete" ICON="icon_preferences_folder">
118 <HEAD>Autocomplete</HEAD>
119 <TEXT DESCRIPTION="Key">autocomplete_shortcut_key<STRING>Space</STRING></TEXT>
120 <TEXT DESCRIPTION="+ Ctrl">autocomplete_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
121 <TEXT DESCRIPTION="+ Alt">autocomplete_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
122 <TEXT DESCRIPTION="+ Shift">autocomplete_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
123 </TOPIC>
124 <TOPIC TOPIC_ID="Class name autocomplete" ICON="icon_preferences_folder">
125 <HEAD>Class name autocomplete</HEAD>
126 <TEXT DESCRIPTION="Key">class_autocomplete_shortcut_key<STRING>Space</STRING></TEXT>
127 <TEXT DESCRIPTION="+ Ctrl">class_autocomplete_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
128 <TEXT DESCRIPTION="+ Alt">class_autocomplete_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
129 <TEXT DESCRIPTION="+ Shift">class_autocomplete_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
130 </TOPIC>
131 <TOPIC TOPIC_ID="Search selection" ICON="icon_preferences_folder">
132 <HEAD>Search selection</HEAD>
133 <TEXT DESCRIPTION="Key">search_selection_shortcut_key<STRING>F3</STRING></TEXT>
134 <TEXT DESCRIPTION="+ Ctrl">search_selection_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
135 <TEXT DESCRIPTION="+ Alt">search_selection_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
136 <TEXT DESCRIPTION="+ Shift">search_selection_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
137 </TOPIC>
138 <TOPIC TOPIC_ID="Search again" ICON="icon_preferences_folder">
139 <HEAD>Search again</HEAD>
140 <TEXT DESCRIPTION="Key">search_last_shortcut_key<STRING>F3</STRING></TEXT>
141 <TEXT DESCRIPTION="+ Ctrl">search_last_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
142 <TEXT DESCRIPTION="+ Alt">search_last_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
143 <TEXT DESCRIPTION="+ Shift">search_last_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
144 </TOPIC>
145 <TOPIC TOPIC_ID="Search backward" ICON="icon_preferences_folder">
146 <HEAD>Search backward</HEAD>
147 <TEXT DESCRIPTION="Key">search_backward_shortcut_key<STRING>F3</STRING></TEXT>
148 <TEXT DESCRIPTION="+ Ctrl">search_backward_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
149 <TEXT DESCRIPTION="+ Alt">search_backward_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
150 <TEXT DESCRIPTION="+ Shift">search_backward_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
151 </TOPIC>
152 <TOPIC TOPIC_ID="Show search panel" ICON="icon_preferences_folder">
153 <HEAD>Show search panel</HEAD>
154 <TEXT DESCRIPTION="Key">show_search_panel_shortcut_key<STRING>F</STRING></TEXT>
155 <TEXT DESCRIPTION="+ Ctrl">show_search_panel_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
156 <TEXT DESCRIPTION="+ Alt">show_search_panel_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
157 <TEXT DESCRIPTION="+ Shift">show_search_panel_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
158 </TOPIC>
159 <TOPIC TOPIC_ID="Show search and replace panel" ICON="icon_preferences_folder">
160 <HEAD>Show search and replace panel</HEAD>
161 <TEXT DESCRIPTION="Key">show_search_and_replace_panel_shortcut_key<STRING>H</STRING></TEXT>
162 <TEXT DESCRIPTION="+ Ctrl">show_search_and_replace_panel_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
163 <TEXT DESCRIPTION="+ Alt">show_search_and_replace_panel_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
164 <TEXT DESCRIPTION="+ Shift">show_search_and_replace_panel_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
165 </TOPIC>
166 <TOPIC TOPIC_ID="Insert user defined string (1)" ICON="icon_preferences_folder">
167 <HEAD>Insert user defined string (1)</HEAD>
168 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_1<STRING></STRING></TEXT>
169 <TEXT DESCRIPTION="Key">customized_insertion_1_shortcut_key<STRING>F2</STRING></TEXT>
170 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_1_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
171 <TEXT DESCRIPTION="+ Alt">customized_insertion_1_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
172 <TEXT DESCRIPTION="+ Shift">customized_insertion_1_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
173 </TOPIC>
174 <TOPIC TOPIC_ID="Insert user defined string (2)" ICON="icon_preferences_folder">
175 <HEAD>Insert user defined string (2)</HEAD>
176 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_2<STRING></STRING></TEXT>
177 <TEXT DESCRIPTION="Key">customized_insertion_2_shortcut_key<STRING>F2</STRING></TEXT>
178 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_2_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
179 <TEXT DESCRIPTION="+ Alt">customized_insertion_2_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
180 <TEXT DESCRIPTION="+ Shift">customized_insertion_2_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
181 </TOPIC>
182 <TOPIC TOPIC_ID="Insert user defined string (3)" ICON="icon_preferences_folder">
183 <HEAD>Insert user defined string (3)</HEAD>
184 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_3<STRING></STRING></TEXT>
185 <TEXT DESCRIPTION="Key">customized_insertion_3_shortcut_key<STRING>F2</STRING></TEXT>
186 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_3_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
187 <TEXT DESCRIPTION="+ Alt">customized_insertion_3_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
188 <TEXT DESCRIPTION="+ Shift">customized_insertion_3_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
189 </TOPIC>
190 </TOPIC>
191 <TOPIC TOPIC_ID="Automatic completion" ICON="icon_preferences_folder">
192 <HEAD>Autocomplete</HEAD>
193 <TEXT DESCRIPTION="Brackets and parentheses are closed automatically">autocomplete_brackets_and_parenthesis<BOOLEAN>False</BOOLEAN></TEXT>
194 <TEXT DESCRIPTION="Quotes are closed automatically">autocomplete_quotes<BOOLEAN>False</BOOLEAN></TEXT>
195 <TEXT DESCRIPTION="Enable syntax autocomplete">syntax_autocomplete<BOOLEAN>True</BOOLEAN></TEXT>
196 <TEXT DESCRIPTION="ANY features appear in the feature call complete window">call_complete_with_any_features<BOOLEAN>False</BOOLEAN></TEXT>
197 <TOPIC TOPIC_ID="class_structure_completion" ICON="icon_preferences_folder">
198 <HEAD>Class structure keywords</HEAD>
199 <TOPIC TOPIC_ID="indexing" ICON="icon_preferences_folder">
200 <HEAD>indexing</HEAD>
201 <TEXT DESCRIPTION="Autocomplete indexing">autocomplete_indexing<BOOLEAN>True</BOOLEAN></TEXT>
202 <TEXT DESCRIPTION="Use default autocomplete">use_default_indexing<BOOLEAN>True</BOOLEAN></TEXT>
203 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_indexing_space<STRING> $cursor$</STRING></TEXT>
204 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_indexing_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
205 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_indexing_space_later<STRING> $cursor$</STRING></TEXT>
206 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_indexing_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
207 </TOPIC>
208 <TOPIC TOPIC_ID="class" ICON="icon_preferences_folder">
209 <HEAD>class</HEAD>
210 <TEXT DESCRIPTION="Autocomplete class">autocomplete_class<BOOLEAN>True</BOOLEAN></TEXT>
211 <TEXT DESCRIPTION="Use default autocomplete">use_default_class<BOOLEAN>True</BOOLEAN></TEXT>
212 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_class_space<STRING> $cursor$</STRING></TEXT>
213 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_class_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
214 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_class_space_later<STRING> $cursor$</STRING></TEXT>
215 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_class_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
216 </TOPIC>
217 <TOPIC TOPIC_ID="inherit" ICON="icon_preferences_folder">
218 <HEAD>inherit</HEAD>
219 <TEXT DESCRIPTION="Autocomplete inherit">autocomplete_inherit<BOOLEAN>True</BOOLEAN></TEXT>
220 <TEXT DESCRIPTION="Use default autocomplete">use_default_inherit<BOOLEAN>True</BOOLEAN></TEXT>
221 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_inherit_space<STRING> $cursor$</STRING></TEXT>
222 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_inherit_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
223 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_inherit_space_later<STRING> $cursor$</STRING></TEXT>
224 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_inherit_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
225 </TOPIC>
226 <TOPIC TOPIC_ID="creation" ICON="icon_preferences_folder">
227 <HEAD>creation</HEAD>
228 <TEXT DESCRIPTION="Autocomplete creation">autocomplete_creation<BOOLEAN>True</BOOLEAN></TEXT>
229 <TEXT DESCRIPTION="Use default autocomplete">use_default_creation<BOOLEAN>True</BOOLEAN></TEXT>
230 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_creation_space<STRING> $cursor$</STRING></TEXT>
231 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_creation_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
232 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_creation_space_later<STRING> $cursor$</STRING></TEXT>
233 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_creation_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
234 </TOPIC>
235 <TOPIC TOPIC_ID="feature" ICON="icon_preferences_folder">
236 <HEAD>feature</HEAD>
237 <TEXT DESCRIPTION="Autocomplete feature">autocomplete_feature<BOOLEAN>True</BOOLEAN></TEXT>
238 <TEXT DESCRIPTION="Use default autocomplete">use_default_feature<BOOLEAN>True</BOOLEAN></TEXT>
239 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_feature_space<STRING> $cursor$</STRING></TEXT>
240 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_feature_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
241 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_feature_space_later<STRING> $cursor$</STRING></TEXT>
242 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_feature_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
243 </TOPIC>
244 </TOPIC>
245 <TOPIC TOPIC_ID="feature_structure_completion" ICON="icon_preferences_folder">
246 <HEAD>Feature structure keywords</HEAD>
247 <TOPIC TOPIC_ID="is" ICON="icon_preferences_folder">
248 <HEAD>is</HEAD>
249 <TEXT DESCRIPTION="Autocomplete is">autocomplete_is<BOOLEAN>True</BOOLEAN></TEXT>
250 <TEXT DESCRIPTION="Use default autocomplete">use_default_is<BOOLEAN>True</BOOLEAN></TEXT>
251 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_is_space<STRING> $cursor$</STRING></TEXT>
252 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_is_return<STRING>%N$indent$%T%T-- $cursor$%N$indent$%T</STRING></TEXT>
253 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_is_space_later<STRING> $cursor$</STRING></TEXT>
254 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_is_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
255 </TOPIC>
256 <TOPIC TOPIC_ID="require" ICON="icon_preferences_folder">
257 <HEAD>require</HEAD>
258 <TEXT DESCRIPTION="Autocomplete require">autocomplete_require<BOOLEAN>True</BOOLEAN></TEXT>
259 <TEXT DESCRIPTION="Use default autocomplete">use_default_require<BOOLEAN>True</BOOLEAN></TEXT>
260 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_require_space<STRING> $cursor$</STRING></TEXT>
261 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_require_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
262 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_require_space_later<STRING> $cursor$</STRING></TEXT>
263 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_require_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
264 </TOPIC>
265 <TOPIC TOPIC_ID="require else" ICON="icon_preferences_folder">
266 <HEAD>require else</HEAD>
267 <TEXT DESCRIPTION="Autocomplete require else">autocomplete_require_else<BOOLEAN>True</BOOLEAN></TEXT>
268 <TEXT DESCRIPTION="Use default autocomplete">use_default_require_else<BOOLEAN>True</BOOLEAN></TEXT>
269 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_require_else_space<STRING> $cursor$</STRING></TEXT>
270 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_require_else_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
271 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_require_else_space_later<STRING> $cursor$</STRING></TEXT>
272 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_require_else_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
273 </TOPIC>
274 <TOPIC TOPIC_ID="local" ICON="icon_preferences_folder">
275 <HEAD>local</HEAD>
276 <TEXT DESCRIPTION="Autocomplete local">autocomplete_local<BOOLEAN>True</BOOLEAN></TEXT>
277 <TEXT DESCRIPTION="Use default autocomplete">use_default_local<BOOLEAN>True</BOOLEAN></TEXT>
278 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_local_space<STRING> $cursor$</STRING></TEXT>
279 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_local_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
280 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_local_space_later<STRING> $cursor$</STRING></TEXT>
281 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_local_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
282 </TOPIC>
283 <TOPIC TOPIC_ID="do" ICON="icon_preferences_folder">
284 <HEAD>do</HEAD>
285 <TEXT DESCRIPTION="Autocomplete do">autocomplete_do<BOOLEAN>True</BOOLEAN></TEXT>
286 <TEXT DESCRIPTION="Use default autocomplete">use_default_do<BOOLEAN>True</BOOLEAN></TEXT>
287 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_do_space<STRING> $cursor$ end</STRING></TEXT>
288 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_do_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
289 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_do_space_later<STRING> $cursor$</STRING></TEXT>
290 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_do_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
291 </TOPIC>
292 <TOPIC TOPIC_ID="once" ICON="icon_preferences_folder">
293 <HEAD>once</HEAD>
294 <TEXT DESCRIPTION="Autocomplete once">autocomplete_once<BOOLEAN>True</BOOLEAN></TEXT>
295 <TEXT DESCRIPTION="Use default autocomplete">use_default_once<BOOLEAN>True</BOOLEAN></TEXT>
296 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_once_space<STRING> $cursor$ end</STRING></TEXT>
297 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_once_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
298 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_once_space_later<STRING> $cursor$</STRING></TEXT>
299 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_once_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
300 </TOPIC>
301 <TOPIC TOPIC_ID="deferred" ICON="icon_preferences_folder">
302 <HEAD>deferred</HEAD>
303 <TEXT DESCRIPTION="Autocomplete deferred">autocomplete_deferred<BOOLEAN>True</BOOLEAN></TEXT>
304 <TEXT DESCRIPTION="Use default autocomplete">use_default_deferred<BOOLEAN>True</BOOLEAN></TEXT>
305 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_deferred_space<STRING> end$cursor$</STRING></TEXT>
306 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_deferred_return<STRING>%N$indent$end$cursor$</STRING></TEXT>
307 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_deferred_space_later<STRING> $cursor$</STRING></TEXT>
308 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_deferred_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
309 </TOPIC>
310 <TOPIC TOPIC_ID="external" ICON="icon_preferences_folder">
311 <HEAD>external</HEAD>
312 <TEXT DESCRIPTION="Autocomplete external">autocomplete_external<BOOLEAN>True</BOOLEAN></TEXT>
313 <TEXT DESCRIPTION="Use default autocomplete">use_default_external<BOOLEAN>True</BOOLEAN></TEXT>
314 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_external_space<STRING> "$cursor$" end</STRING></TEXT>
315 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_external_return<STRING>%N$indent$%T"$cursor$"%N$indent$end</STRING></TEXT>
316 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_external_space_later<STRING> $cursor$</STRING></TEXT>
317 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_external_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
318 </TOPIC>
319 <TOPIC TOPIC_ID="rescue" ICON="icon_preferences_folder">
320 <HEAD>rescue</HEAD>
321 <TEXT DESCRIPTION="Autocomplete rescue">autocomplete_rescue<BOOLEAN>True</BOOLEAN></TEXT>
322 <TEXT DESCRIPTION="Use default autocomplete">use_default_rescue<BOOLEAN>True</BOOLEAN></TEXT>
323 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_rescue_space<STRING> $cursor$</STRING></TEXT>
324 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_rescue_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
325 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_rescue_space_later<STRING> $cursor$</STRING></TEXT>
326 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_rescue_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
327 </TOPIC>
328 <TOPIC TOPIC_ID="ensure" ICON="icon_preferences_folder">
329 <HEAD>ensure</HEAD>
330 <TEXT DESCRIPTION="Autocomplete ensure">autocomplete_ensure<BOOLEAN>True</BOOLEAN></TEXT>
331 <TEXT DESCRIPTION="Use default autocomplete">use_default_ensure<BOOLEAN>True</BOOLEAN></TEXT>
332 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_ensure_space<STRING> $cursor$</STRING></TEXT>
333 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_ensure_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
334 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_ensure_space_later<STRING> $cursor$</STRING></TEXT>
335 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_ensure_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
336 </TOPIC>
337 <TOPIC TOPIC_ID="ensure then" ICON="icon_preferences_folder">
338 <HEAD>ensure then</HEAD>
339 <TEXT DESCRIPTION="Autocomplete ensure then">autocomplete_ensure_then<BOOLEAN>True</BOOLEAN></TEXT>
340 <TEXT DESCRIPTION="Use default autocomplete">use_default_ensure_then<BOOLEAN>True</BOOLEAN></TEXT>
341 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_ensure_then_space<STRING> $cursor$</STRING></TEXT>
342 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_ensure_then_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
343 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_ensure_then_space_later<STRING> $cursor$</STRING></TEXT>
344 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_ensure_then_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
345 </TOPIC>
346 <TOPIC TOPIC_ID="alias" ICON="icon_preferences_folder">
347 <HEAD>alias</HEAD>
348 <TEXT DESCRIPTION="Autocomplete alias">autocomplete_alias<BOOLEAN>True</BOOLEAN></TEXT>
349 <TEXT DESCRIPTION="Use default autocomplete">use_default_alias<BOOLEAN>True</BOOLEAN></TEXT>
350 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_alias_space<STRING> "$cursor$"</STRING></TEXT>
351 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_alias_return<STRING>%N$indent$%T"$cursor$"</STRING></TEXT>
352 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_alias_space_later<STRING> $cursor$</STRING></TEXT>
353 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_alias_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
354 </TOPIC>
355 </TOPIC>
356 <TOPIC TOPIC_ID="control_structures_completion" ICON="icon_preferences_folder">
357 <HEAD>Control structures keywords</HEAD>
358 <TOPIC TOPIC_ID="if" ICON="icon_preferences_folder">
359 <HEAD>if</HEAD>
360 <TEXT DESCRIPTION="Autocomplete if">autocomplete_if<BOOLEAN>True</BOOLEAN></TEXT>
361 <TEXT DESCRIPTION="Use default autocomplete">use_default_if<BOOLEAN>True</BOOLEAN></TEXT>
362 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_if_space<STRING> $cursor$ then%N$indent$%T%N$indent$end</STRING></TEXT>
363 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_if_return<STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T%N$indent$end</STRING></TEXT>
364 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_if_space_later<STRING> $cursor$</STRING></TEXT>
365 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_if_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
366 </TOPIC>
367 <TOPIC TOPIC_ID="then" ICON="icon_preferences_folder">
368 <HEAD>then</HEAD>
369 <TEXT DESCRIPTION="Autocomplete then">autocomplete_then<BOOLEAN>True</BOOLEAN></TEXT>
370 <TEXT DESCRIPTION="Use default autocomplete">use_default_then<BOOLEAN>True</BOOLEAN></TEXT>
371 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_then_space<STRING> $cursor$</STRING></TEXT>
372 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_then_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
373 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_then_space_later<STRING> $cursor$</STRING></TEXT>
374 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_then_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
375 </TOPIC>
376 <TOPIC TOPIC_ID="elseif" ICON="icon_preferences_folder">
377 <HEAD>elseif</HEAD>
378 <TEXT DESCRIPTION="Autocomplete else if">autocomplete_elseif<BOOLEAN>True</BOOLEAN></TEXT>
379 <TEXT DESCRIPTION="Use default autocomplete">use_default_elseif<BOOLEAN>True</BOOLEAN></TEXT>
380 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_elseif_space<STRING> $cursor$ then%N$indent$%T</STRING></TEXT>
381 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_elseif_return<STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></TEXT>
382 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_elseif_space_later<STRING> $cursor$</STRING></TEXT>
383 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_elseif_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
384 </TOPIC>
385 <TOPIC TOPIC_ID="else" ICON="icon_preferences_folder">
386 <HEAD>else</HEAD>
387 <TEXT DESCRIPTION="Autocomplete else">autocomplete_else<BOOLEAN>True</BOOLEAN></TEXT>
388 <TEXT DESCRIPTION="Use default autocomplete">use_default_else<BOOLEAN>True</BOOLEAN></TEXT>
389 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_else_space<STRING> $cursor$</STRING></TEXT>
390 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_else_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
391 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_else_space_later<STRING> $cursor$</STRING></TEXT>
392 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_else_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
393 </TOPIC>
394 <TOPIC TOPIC_ID="inspect" ICON="icon_preferences_folder">
395 <HEAD>inspect</HEAD>
396 <TEXT DESCRIPTION="Autocomplete inspect">autocomplete_inspect<BOOLEAN>True</BOOLEAN></TEXT>
397 <TEXT DESCRIPTION="Use default autocomplete">use_default_inspect<BOOLEAN>True</BOOLEAN></TEXT>
398 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_inspect_space<STRING> $cursor$%N$indent$when then%N$indent$%T%N$indent$else%N$indent$%T%N$indent$end</STRING></TEXT>
399 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_inspect_return<STRING>%N$indent$%T$cursor$%N$indent$when then%N$indent$%T%N$indent$else%N$indent$%T%N$indent$end</STRING></TEXT>
400 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_inspect_space_later<STRING> $cursor$</STRING></TEXT>
401 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_inspect_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
402 </TOPIC>
403 <TOPIC TOPIC_ID="when" ICON="icon_preferences_folder">
404 <HEAD>when</HEAD>
405 <TEXT DESCRIPTION="Autocomplete when">autocomplete_when<BOOLEAN>True</BOOLEAN></TEXT>
406 <TEXT DESCRIPTION="Use default autocomplete">use_default_when<BOOLEAN>True</BOOLEAN></TEXT>
407 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_when_space<STRING> $cursor$ then%N$indent$%T</STRING></TEXT>
408 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_when_return<STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></TEXT>
409 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_when_space_later<STRING> $cursor$</STRING></TEXT>
410 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_when_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
411 </TOPIC>
412 <TOPIC TOPIC_ID="from" ICON="icon_preferences_folder">
413 <HEAD>from</HEAD>
414 <TEXT DESCRIPTION="Autocomplete from">autocomplete_from<BOOLEAN>True</BOOLEAN></TEXT>
415 <TEXT DESCRIPTION="Use default autocomplete">use_default_from<BOOLEAN>True</BOOLEAN></TEXT>
416 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_from_space<STRING> $cursor$%N$indent$until%N$indent$loop%N$indent$end</STRING></TEXT>
417 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_from_return<STRING>%N$indent$%T$cursor$%N$indent$until%N$indent$%T%N$indent$loop%N$indent$%T%N$indent$end</STRING></TEXT>
418 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_from_space_later<STRING> $cursor$</STRING></TEXT>
419 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_from_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
420 </TOPIC>
421 <TOPIC TOPIC_ID="variant" ICON="icon_preferences_folder">
422 <HEAD>variant</HEAD>
423 <TEXT DESCRIPTION="Autocomplete variant">autocomplete_variant<BOOLEAN>True</BOOLEAN></TEXT>
424 <TEXT DESCRIPTION="Use default autocomplete">use_default_variant<BOOLEAN>True</BOOLEAN></TEXT>
425 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_variant_space<STRING> $cursor$</STRING></TEXT>
426 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_variant_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
427 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_variant_space_later<STRING> $cursor$</STRING></TEXT>
428 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_variant_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
429 </TOPIC>
430 <TOPIC TOPIC_ID="until" ICON="icon_preferences_folder">
431 <HEAD>until</HEAD>
432 <TEXT DESCRIPTION="Autocomplete then">autocomplete_until<BOOLEAN>True</BOOLEAN></TEXT>
433 <TEXT DESCRIPTION="Use default autocomplete">use_default_until<BOOLEAN>True</BOOLEAN></TEXT>
434 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_until_space<STRING> $cursor$</STRING></TEXT>
435 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_until_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
436 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_until_space_later<STRING> $cursor$</STRING></TEXT>
437 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_until_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
438 </TOPIC>
439 <TOPIC TOPIC_ID="loop" ICON="icon_preferences_folder">
440 <HEAD>loop</HEAD>
441 <TEXT DESCRIPTION="Autocomplete then">autocomplete_loop<BOOLEAN>True</BOOLEAN></TEXT>
442 <TEXT DESCRIPTION="Use default autocomplete">use_default_loop<BOOLEAN>True</BOOLEAN></TEXT>
443 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_loop_space<STRING> $cursor$</STRING></TEXT>
444 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_loop_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
445 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_loop_space_later<STRING> $cursor$</STRING></TEXT>
446 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_loop_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
447 </TOPIC>
448 <TOPIC TOPIC_ID="debug" ICON="icon_preferences_folder">
449 <HEAD>debug</HEAD>
450 <TEXT DESCRIPTION="Autocomplete debug">autocomplete_debug<BOOLEAN>True</BOOLEAN></TEXT>
451 <TEXT DESCRIPTION="Use default autocomplete">use_default_debug<BOOLEAN>True</BOOLEAN></TEXT>
452 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_debug_space<STRING> $cursor$ end</STRING></TEXT>
453 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_debug_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
454 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_debug_space_later<STRING> $cursor$</STRING></TEXT>
455 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_debug_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
456 </TOPIC>
457 <TOPIC TOPIC_ID="check" ICON="icon_preferences_folder">
458 <HEAD>check</HEAD>
459 <TEXT DESCRIPTION="Autocomplete check">autocomplete_check<BOOLEAN>True</BOOLEAN></TEXT>
460 <TEXT DESCRIPTION="Use default autocomplete">use_default_check<BOOLEAN>True</BOOLEAN></TEXT>
461 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_check_space<STRING> $cursor$ end</STRING></TEXT>
462 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_check_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
463 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_check_space_later<STRING> $cursor$</STRING></TEXT>
464 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_check_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
465 </TOPIC>
466 </TOPIC>
467 <TOPIC TOPIC_ID="inherit_clause_completion" ICON="icon_preferences_folder">
468 <HEAD>Inherit clauses keywords</HEAD>
469 <TOPIC TOPIC_ID="rename" ICON="icon_preferences_folder">
470 <HEAD>rename</HEAD>
471 <TEXT DESCRIPTION="Autocomplete rename">autocomplete_rename<BOOLEAN>True</BOOLEAN></TEXT>
472 <TEXT DESCRIPTION="Use default autocomplete">use_default_rename<BOOLEAN>True</BOOLEAN></TEXT>
473 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_rename_space<STRING> $cursor$</STRING></TEXT>
474 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_rename_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
475 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_rename_space_later<STRING> $cursor$</STRING></TEXT>
476 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_rename_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
477 </TOPIC>
478 <TOPIC TOPIC_ID="redefine" ICON="icon_preferences_folder">
479 <HEAD>redefine</HEAD>
480 <TEXT DESCRIPTION="Autocomplete redefine">autocomplete_redefine<BOOLEAN>True</BOOLEAN></TEXT>
481 <TEXT DESCRIPTION="Use default autocomplete">use_default_redefine<BOOLEAN>True</BOOLEAN></TEXT>
482 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_redefine_space<STRING> $cursor$</STRING></TEXT>
483 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_redefine_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
484 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_redefine_space_later<STRING> $cursor$</STRING></TEXT>
485 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_redefine_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
486 </TOPIC>
487 <TOPIC TOPIC_ID="undefine" ICON="icon_preferences_folder">
488 <HEAD>undefine</HEAD>
489 <TEXT DESCRIPTION="Autocomplete undefine">autocomplete_undefine<BOOLEAN>True</BOOLEAN></TEXT>
490 <TEXT DESCRIPTION="Use default autocomplete">use_default_undefine<BOOLEAN>True</BOOLEAN></TEXT>
491 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_undefine_space<STRING> $cursor$</STRING></TEXT>
492 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_undefine_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
493 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_undefine_space_later<STRING> $cursor$</STRING></TEXT>
494 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_undefine_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
495 </TOPIC>
496 <TOPIC TOPIC_ID="select" ICON="icon_preferences_folder">
497 <HEAD>select</HEAD>
498 <TEXT DESCRIPTION="Autocomplete select">autocomplete_select<BOOLEAN>True</BOOLEAN></TEXT>
499 <TEXT DESCRIPTION="Use default autocomplete">use_default_select<BOOLEAN>True</BOOLEAN></TEXT>
500 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_select_space<STRING> $cursor$</STRING></TEXT>
501 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_select_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
502 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_select_space_later<STRING> $cursor$</STRING></TEXT>
503 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_select_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
504 </TOPIC>
505 <TOPIC TOPIC_ID="export" ICON="icon_preferences_folder">
506 <HEAD>export</HEAD>
507 <TEXT DESCRIPTION="Autocomplete export">autocomplete_export<BOOLEAN>True</BOOLEAN></TEXT>
508 <TEXT DESCRIPTION="Use default autocomplete">use_default_export<BOOLEAN>True</BOOLEAN></TEXT>
509 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_export_space<STRING> $cursor$</STRING></TEXT>
510 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_export_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
511 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_export_space_later<STRING> $cursor$</STRING></TEXT>
512 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_export_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
513 </TOPIC>
514 </TOPIC>
515 <TOPIC TOPIC_ID="misc_completion" ICON="icon_preferences_folder">
516 <HEAD>Other keywords</HEAD>
517 <TOPIC TOPIC_ID="Precursor" ICON="icon_preferences_folder">
518 <HEAD>Precursor</HEAD>
519 <TEXT DESCRIPTION="Autocomplete Precursor">autocomplete_precursor<BOOLEAN>True</BOOLEAN></TEXT>
520 <TEXT DESCRIPTION="Use default autocomplete">use_default_precursor<BOOLEAN>True</BOOLEAN></TEXT>
521 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_precursor_space<STRING> {$cursor$}</STRING></TEXT>
522 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_precursor_return<STRING>%N$indent$$cursor$</STRING></TEXT>
523 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_precursor_space_later<STRING> $cursor$</STRING></TEXT>
524 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_precursor_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
525 </TOPIC>
526 <TOPIC TOPIC_ID="create" ICON="icon_preferences_folder">
527 <HEAD>create</HEAD>
528 <TEXT DESCRIPTION="Autocomplete create">autocomplete_create<BOOLEAN>True</BOOLEAN></TEXT>
529 <TEXT DESCRIPTION="Use default autocomplete">use_default_create<BOOLEAN>True</BOOLEAN></TEXT>
530 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_create_space<STRING> $cursor$</STRING></TEXT>
531 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_create_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
532 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_create_space_later<STRING> $cursor$</STRING></TEXT>
533 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_create_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
534 </TOPIC>
535 <TOPIC TOPIC_ID="obsolete" ICON="icon_preferences_folder">
536 <HEAD>obsolete</HEAD>
537 <TEXT DESCRIPTION="Autocomplete obsolete">autocomplete_obsolete<BOOLEAN>True</BOOLEAN></TEXT>
538 <TEXT DESCRIPTION="Use default autocomplete">use_default_obsolete<BOOLEAN>True</BOOLEAN></TEXT>
539 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_obsolete_space<STRING> "$cursor$"</STRING></TEXT>
540 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_obsolete_return<STRING>%N$indent$%T"$cursor$"</STRING></TEXT>
541 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_obsolete_space_later<STRING> $cursor$</STRING></TEXT>
542 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_obsolete_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
543 </TOPIC>
544 <TOPIC TOPIC_ID="invariant" ICON="icon_preferences_folder">
545 <HEAD>invariant</HEAD>
546 <TEXT DESCRIPTION="Autocomplete invariant">autocomplete_invariant<BOOLEAN>True</BOOLEAN></TEXT>
547 <TEXT DESCRIPTION="Use default autocomplete">use_default_invariant<BOOLEAN>True</BOOLEAN></TEXT>
548 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_invariant_space<STRING> $cursor$</STRING></TEXT>
549 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_invariant_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
550 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_invariant_space_later<STRING> $cursor$</STRING></TEXT>
551 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_invariant_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
552 </TOPIC>
553 <TOPIC TOPIC_ID="end" ICON="icon_preferences_folder">
554 <HEAD>end</HEAD>
555 <TEXT DESCRIPTION="Autocomplete end">autocomplete_end<BOOLEAN>False</BOOLEAN></TEXT>
556 <TEXT DESCRIPTION="Use default autocomplete">use_default_end<BOOLEAN>True</BOOLEAN></TEXT>
557 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_end_space<STRING> $cursor$</STRING></TEXT>
558 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_end_return<STRING>%N$indent$$cursor$</STRING></TEXT>
559 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_end_space_later<STRING> $cursor$</STRING></TEXT>
560 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_end_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
561 </TOPIC>
562 </TOPIC>
563 </TOPIC>
564 </TOPIC>
565 <TOPIC TOPIC_ID="Debugging_tools" ICON="icon_preferences_folder">
566 <HEAD>Debugging tools</HEAD>
567 <TEXT DESCRIPTION="Display DEBUG_OUTPUT.debug_output value">debug_output_evaluation<BOOLEAN>True</BOOLEAN></TEXT>
568 <TEXT DESCRIPTION="Display ANY.generating_type value">generating_type_evaluation<BOOLEAN>True</BOOLEAN></TEXT>
569 <TEXT DESCRIPTION="Expanded view: default display size">debugger__default_expanded_view_size<INTEGER>500</INTEGER></TEXT>
570 <TOPIC TOPIC_ID="Dotnet_debugging_tools" ICON="icon_preferences_folder" VISIBILITY="hidden">
571 <HEAD>Dotnet</HEAD>
572 <TEXT DESCRIPTION="Enable optimized JIT debugging">enable_optimized_jit_debugging<BOOLEAN>False</BOOLEAN></TEXT>
573 </TOPIC>
574 </TOPIC>
575 <TOPIC TOPIC_ID="Internal_data" ICON="icon_preferences_folder" VISIBILITY="hidden">
576 <HEAD>Internal Data</HEAD>
577 <TEXT>graphical_output_disabled<BOOLEAN>False</BOOLEAN></TEXT>
578 </TOPIC>
579 </TOPIC>
580 <TOPIC TOPIC_ID="Graphics" ICON="icon_preferences_folder">
581 <HEAD>Graphical Elements</HEAD>
582 <TEXT DESCRIPTION="All-purpose editor font" IMMEDIATE_EFFECT="no">editor_font<FONT>Courier New-r-regular-11-typewriter</FONT></TEXT>
583 <TEXT DESCRIPTION="Keyword editor font" IMMEDIATE_EFFECT="no">keyword_font<FONT>Courier New-r-bold-11-typewriter</FONT></TEXT>
584 <TEXT DESCRIPTION="Tabulation size" IMMEDIATE_EFFECT="no">tab_step<INTEGER>4</INTEGER></TEXT>
585 <TEXT DESCRIPTION="Mouse wheel scroll full page" IMMEDIATE_EFFECT="yes">mouse_wheel_scroll_full_page<BOOLEAN>False</BOOLEAN></TEXT>
586 <TEXT DESCRIPTION="Mouse wheel scroll size" IMMEDIATE_EFFECT="yes">mouse_wheel_scroll_size<INTEGER>3</INTEGER></TEXT>
587 <TEXT DESCRIPTION="Use animated icons">use_animated_icons<BOOLEAN>True</BOOLEAN></TEXT>
588 <TOPIC TOPIC_ID="Default_Colors" ICON="icon_preferences_folder">
589 <HEAD>Colors</HEAD>
590 <TEXT DESCRIPTION="Foreground color for normal text">normal_text_color<COLOR>0;0;0</COLOR></TEXT>
591 <TEXT DESCRIPTION="Background color for normal text">normal_background_color<COLOR>255;255;255</COLOR></TEXT>
592 <TEXT DESCRIPTION="Foreground color for selected text">selection_text_color<COLOR>255;255;128</COLOR></TEXT>
593 <TEXT DESCRIPTION="Background color for selected text">selection_background_color<COLOR>0;0;128</COLOR></TEXT>
594 <TEXT DESCRIPTION="Foreground color for classes">class_text_color<COLOR>0;0;255</COLOR></TEXT>
595 <TEXT DESCRIPTION="Background color for classes">class_background_color<COLOR>auto</COLOR></TEXT>
596 <TEXT DESCRIPTION="Foreground color for features">feature_text_color<COLOR>0;128;0</COLOR></TEXT>
597 <TEXT DESCRIPTION="Background color for features">feature_background_color<COLOR>auto</COLOR></TEXT>
598 <TEXT DESCRIPTION="Foreground color for clusters">cluster_text_color<COLOR>128;0;0</COLOR></TEXT>
599 <TEXT DESCRIPTION="Background color for clusters">cluster_background_color<COLOR>auto</COLOR></TEXT>
600 <TEXT DESCRIPTION="Foreground color for errors">error_text_color<COLOR>255;0;0</COLOR></TEXT>
601 <TEXT DESCRIPTION="Background color for errors">error_background_color<COLOR>auto</COLOR></TEXT>
602 <TEXT DESCRIPTION="Foreground color for objects">object_text_color<COLOR>0;0;255</COLOR></TEXT>
603 <TEXT DESCRIPTION="Background color for objects">object_background_color<COLOR>255;255;255</COLOR></TEXT>
604 <TEXT DESCRIPTION="Foreground color for manifest strings">string_text_color<COLOR>0;0;0</COLOR></TEXT>
605 <TEXT DESCRIPTION="Background color for manifest strings">string_background_color<COLOR>255;255;255</COLOR></TEXT>
606 <TEXT DESCRIPTION="Foreground color for keywords">keyword_text_color<COLOR>0;0;128</COLOR></TEXT>
607 <TEXT DESCRIPTION="Background color for keywords">keyword_background_color<COLOR>auto</COLOR></TEXT>
608 <TEXT DESCRIPTION="Foreground color for spaces">spaces_text_color<COLOR>0;0;0</COLOR></TEXT>
609 <TEXT DESCRIPTION="Background color for spaces">spaces_background_color<COLOR>auto</COLOR></TEXT>
610 <TEXT DESCRIPTION="Foreground color for comments">comments_text_color<COLOR>128;0;0</COLOR></TEXT>
611 <TEXT DESCRIPTION="Background color for comments">comments_background_color<COLOR>auto</COLOR></TEXT>
612 <TEXT DESCRIPTION="Foreground color for numbers">number_text_color<COLOR>0;0;0</COLOR></TEXT>
613 <TEXT DESCRIPTION="Background color for numbers">number_background_color<COLOR>auto</COLOR></TEXT>
614 <TEXT DESCRIPTION="Foreground color for operators">operator_text_color<COLOR>0;0;0</COLOR></TEXT>
615 <TEXT DESCRIPTION="Background color for operators">operator_background_color<COLOR>auto</COLOR></TEXT>
616 <TEXT DESCRIPTION="Foreground color for indexing tags">indexing_tag_text_color<COLOR>64;0;0</COLOR></TEXT>
617 <TEXT DESCRIPTION="Background color for indexing tags">indexing_tag_background_color<COLOR>auto</COLOR></TEXT>
618 <TEXT DESCRIPTION="Foreground color for assertion tags">assertion_tag_text_color<COLOR>64;0;0</COLOR></TEXT>
619 <TEXT DESCRIPTION="Background color for assertion tags">assertion_tag_background_color<COLOR>auto</COLOR></TEXT>
620 <TEXT DESCRIPTION="Foreground color for reserved words">reserved_text_color<COLOR>64;0;0</COLOR></TEXT>
621 <TEXT DESCRIPTION="Background color for reserved words">reserved_background_color<COLOR>auto</COLOR></TEXT>
622 <TEXT DESCRIPTION="Foreground color for locals">local_text_color<COLOR>64;0;0</COLOR></TEXT>
623 <TEXT DESCRIPTION="Background color for locals">local_background_color<COLOR>auto</COLOR></TEXT>
624 <TEXT DESCRIPTION="Foreground color for generics">generic_text_color<COLOR>255;0;0</COLOR></TEXT>
625 <TEXT DESCRIPTION="Background color for generics">generic_background_color<COLOR>auto</COLOR></TEXT>
626 <TEXT DESCRIPTION="Color for breakable marks and breakpoints">breakpoint_background_color<COLOR>212;208;200</COLOR></TEXT>
627 <TEXT DESCRIPTION="Color for progress bars">progress_bar_color<COLOR>0;0;128</COLOR></TEXT>
628 </TOPIC>
629 <TOPIC TOPIC_ID="Dialogs" ICON="icon_preferences_folder">
630 <HEAD>Dialogs</HEAD>
631 <TEXT DESCRIPTION="Display New/Open project dialog at startup">show_starting_dialog<BOOLEAN>True</BOOLEAN></TEXT>
632 <TEXT DESCRIPTION="Display confirmation dialog on exit">confirm_on_exit<BOOLEAN>True</BOOLEAN></TEXT>
633 <TEXT DESCRIPTION="Display confirmation dialog for C compilation on freeze operation">confirm_freeze<BOOLEAN>True</BOOLEAN></TEXT>
634 <TEXT DESCRIPTION="Display confirmation dialog for C compilation on finalize operation">confirm_finalize<BOOLEAN>True</BOOLEAN></TEXT>
635 <TEXT DESCRIPTION="Display confirmation dialog for assertions on finalize operation">confirm_finalize_assertions<BOOLEAN>True</BOOLEAN></TEXT>
636 <TEXT DESCRIPTION="Display confirmation dialog for finalizing a .NET precompiled library">confirm_finalize_precompile<BOOLEAN>True</BOOLEAN></TEXT>
637 <TEXT DESCRIPTION="Display confirmation dialog on compilation when some files have not been saved">confirm_save_before_compile<BOOLEAN>True</BOOLEAN></TEXT>
638 <TEXT DESCRIPTION="Display confirmation dialog on clearing breakpoints">confirm_clear_breakpoints<BOOLEAN>True</BOOLEAN></TEXT>
639 <TEXT DESCRIPTION="Display confirmation dialog when starting the application without stopping at breakpoints">confirm_ignore_all_breakpoints<BOOLEAN>True</BOOLEAN></TEXT>
640 <TEXT DESCRIPTION="Display warning dialog when changing resources that need you to restart EiffelStudio">confirm_change_resource_need_restart<BOOLEAN>True</BOOLEAN></TEXT>
641 <TEXT DESCRIPTION="Display confirmation dialog before converting an old project">confirm_convert_project<BOOLEAN>True</BOOLEAN></TEXT>
642 <TEXT DESCRIPTION="Display dialog that warns that text is being loaded and is not editable or clickable">acknowledge_not_loaded<BOOLEAN>True</BOOLEAN></TEXT>
643 <TEXT DESCRIPTION="Display dialog that warns that homonym format can take a long time">generate_homonyms<BOOLEAN>True</BOOLEAN></TEXT>
644 <TEXT DESCRIPTION="Display dialog when an application is running and a compilation is launched">stop_execution_when_compiling<BOOLEAN>True</BOOLEAN></TEXT>
645 <TEXT DESCRIPTION="Display dialog before killing a debugged application">confirm_kill<BOOLEAN>True</BOOLEAN></TEXT>
646 <TEXT DESCRIPTION="Display dialog when editing the same class in two development windows">already_editing_class<BOOLEAN>True</BOOLEAN></TEXT>
647 <TEXT DESCRIPTION="Display dialog while running an external command">executing_command<BOOLEAN>True</BOOLEAN></TEXT>
648 </TOPIC>
649 </TOPIC>
650 <TOPIC TOPIC_ID="Dynamic_data" ICON="icon_preferences_folder" VISIBILITY="hidden">
651 <HEAD>Dynamic data</HEAD>
652 <TEXT>display_dotnet_cmd<BOOLEAN>False</BOOLEAN></TEXT>
653 <TEXT>development_window__show_address_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
654 <TEXT>development_window__show_project_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
655 <TEXT>development_window__show_general_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
656 <TEXT>development_window__show_text_in_general_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
657 <TEXT>development_window__show_all_text_in_general_toolbar<BOOLEAN>False</BOOLEAN></TEXT>
658 <TEXT>debugger__show_text_in_project_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
659 <TEXT>debugger__show_all_text_in_project_toolbar<BOOLEAN>False</BOOLEAN></TEXT>
660 <TEXT>debug_main_splitter_position<INTEGER>250</INTEGER></TEXT>
661 <TEXT>debugger__default_maximum_stack_depth<INTEGER>100</INTEGER></TEXT>
662 <TEXT>debugger__critical_stack_depth<INTEGER>1000</INTEGER></TEXT>
663 <TEXT>last_saved_stack_path<STRING>C:\</STRING></TEXT>
664 <TEXT>last_browsed_cluster_directory<STRING>C:\</STRING></TEXT>
665 <TEXT>max_slice<INTEGER>50</INTEGER></TEXT>
666 <TEXT>min_slice<INTEGER>0</INTEGER></TEXT>
667 <TEXT>dyn_lib_window_height<INTEGER>300</INTEGER></TEXT>
668 <TEXT>dyn_lib_window_width<INTEGER>450</INTEGER></TEXT>
669 <TEXT>development_window__height<INTEGER>600</INTEGER></TEXT>
670 <TEXT>development_window__width<INTEGER>800</INTEGER></TEXT>
671 <TEXT>development_window__is_maximized<BOOLEAN>False</BOOLEAN></TEXT>
672 <TEXT>development_window__left_panel_width<INTEGER>100</INTEGER></TEXT>
673 <TEXT>development_window__left_panel_layout<LIST_STRING>visible;visible;closed;closed;closed;closed;190;250</LIST_STRING></TEXT>
674 <TEXT>development_window__left_panel_layout_new<LIST_STRING>Features;visible;0;0;0;190;Clusters;visible;0;0;0;250;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0;Search;closed;0;0;0;0</LIST_STRING></TEXT>
675 <TEXT>development_window__right_panel_layout<LIST_STRING>visible;visible;190;178</LIST_STRING></TEXT>
676 <TEXT>development_window__right_panel_layout_new<LIST_STRING>Editor;visible;0;0;0;190;Context;visible;0;0;0;178</LIST_STRING></TEXT>
677 <TEXT>right_debug_layout<LIST_STRING>minimized;visible;visible;171;218</LIST_STRING></TEXT>
678 <TEXT>left_debug_layout<LIST_STRING>closed;closed;closed;closed;closed;visible;38;286</LIST_STRING></TEXT>
679 <TEXT>left_debug_layout_new<LIST_STRING>Features;closed;0;0;0;0;Clusters;closed;0;0;0;0;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0;Search;closed;0;0;0;0;Call stack;visible;0;0;0;38;Evaluation;visible;0;0;0;286</LIST_STRING></TEXT>
680 <TEXT>right_debug_layout_new<LIST_STRING>Editor;minimized;0;0;0;0;Context;visible;0;0;0;171;Objects;visible;0;0;0;218</LIST_STRING></TEXT>
681 <TEXT>search_tool__show_options<BOOLEAN>True</BOOLEAN></TEXT>
682 <TEXT>external_command_0<STRING></STRING></TEXT>
683 <TEXT>external_command_1<STRING></STRING></TEXT>
684 <TEXT>external_command_2<STRING></STRING></TEXT>
685 <TEXT>external_command_3<STRING></STRING></TEXT>
686 <TEXT>external_command_4<STRING></STRING></TEXT>
687 <TEXT>external_command_5<STRING></STRING></TEXT>
688 <TEXT>external_command_6<STRING></STRING></TEXT>
689 <TEXT>external_command_7<STRING></STRING></TEXT>
690 <TEXT>external_command_8<STRING></STRING></TEXT>
691 <TEXT>external_command_9<STRING></STRING></TEXT>
692
693 <TEXT>development_window__general_toolbar_layout<LIST_STRING>New_window__visible;New_editor__hidden;New_context_window__hidden;Open_file__hidden;New_class__visible;New_feature__visible;Save_file__visible;Open_shell__visible;Separator;Undo__visible;Redo__visible;Separator;Editor_cut__visible;Editor_copy__visible;Editor_paste__visible;Separator;Clusters__visible;Features__visible;Search__visible;Context__visible;Separator;Send_to_context__visible;New_cluster__hidden;Remove_class_cluster__hidden;Favorites__hidden;Windows__hidden;Toggle_stone__hidden;Raise_all__hidden;Minimize_all__hidden;Print__hidden</LIST_STRING></TEXT>
694 <TEXT>debugger__project_toolbar_layout<LIST_STRING>System_tool__visible;Melt_project__visible;Quick_compile__visible;Open_help_tool__visible;System_info__visible;Separator;Enable_bkpt__visible;Disable_bkpt__visible;Clear_bkpt__visible;Bkpt_info__visible;Separator;Exec_step__visible;Exec_into__visible;Exec_out__visible;Exec_no_stop__visible;Exec_debug__visible;Separator;Exec_stop__visible;Exec_quit__visible;Run_final__hidden;Freeze_project__hidden;Finalize_project__hidden</LIST_STRING></TEXT>
695 <TEXT>diagram__toolbar_layout<LIST_STRING>Center_diagram__visible;Separator;New_links__visible;Separator;Undo_command__visible;History_tool__visible;Redo_command__visible;Separator;Delete_hole__visible;Color__visible;Class_header_hole__visible;Separator;Cluster_filling__visible;Context_depth__visible;Separator;Zoom_out__visible;Fit_to_screen__visible;Zoom_in__visible;Separator;Inherit_visibility__visible;Supplier_visibility__visible;Labels_visibility__visible;Separator;Diagram_to_png__visible;Link_tool__hidden;High_quality__hidden;Force_directed__hidden;Clusters_visibility__hidden;Anchor_remove__hidden;Display_legend__hidden;UML_visibility__hidden;Force_settings__hidden</LIST_STRING></TEXT>
696 </TOPIC>
697 </TOPIC>
698 </EIFFEL_DOCUMENT>

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23