/[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 47019 - (show annotations)
Mon Dec 13 20:02:13 2004 UTC (15 years, 2 months ago) by alexk
File MIME type: text/xml
File size: 59047 byte(s)
Removed duplicated entries for 'generating_type_evaluation'.

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 <TEXT DESCRIPTION="Link the context tool with other components by default?">unified_stone<BOOLEAN>False</BOOLEAN></TEXT>
33 <TEXT DESCRIPTION="Show ALL classes in the diagram (ignore the following list)?">ignore_excluded_class_figures<BOOLEAN>False</BOOLEAN></TEXT>
34 <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>
35 <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>
36 <TEXT DESCRIPTION="Show all callers (as opposed to local callers) in `callers' form">show_all_callers<BOOLEAN>True</BOOLEAN></TEXT>
37 <TEXT DESCRIPTION="Show syntactical suppliers (as opposed to actual suppliers) in `suppliers' form">show_syntactical_suppliers<BOOLEAN>True</BOOLEAN></TEXT>
38 <TEXT DESCRIPTION="Indexing items that need not be included in formatted texts">excluded_indexing_items<LIST_STRING>revision;date;status</LIST_STRING></TEXT>
39 <TEXT DESCRIPTION="Class format that is selected by default">default_class_formatter_index<INTEGER>5</INTEGER></TEXT>
40 <TEXT DESCRIPTION="Feature format that is selected by default">default_feature_formatter_index<INTEGER>2</INTEGER></TEXT>
41 <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>
42 <TEXT>formatters_history_size<INTEGER>60</INTEGER></TEXT>
43 </TOPIC>
44 <TOPIC TOPIC_ID="Editor" ICON="icon_preferences_folder">
45 <HEAD>Editor</HEAD>
46 <TEXT DESCRIPTION="Automatic update when the file has not been modified">automatic_update<BOOLEAN>True</BOOLEAN></TEXT>
47 <TEXT DESCRIPTION="Underscore '_' is a word separator">underscore_is_separator<BOOLEAN>False</BOOLEAN></TEXT>
48 <TEXT DESCRIPTION="Complete once and constants with a first upper case character">once_and_constant_in_upper<BOOLEAN>False</BOOLEAN></TEXT>
49 <TEXT DESCRIPTION="Quadruple click selects all">quadruple_click<BOOLEAN>True</BOOLEAN></TEXT>
50 <TEXT DESCRIPTION="Use tabulations for automatic indentation">tab_for_indentation<BOOLEAN>True</BOOLEAN></TEXT>
51 <TOPIC TOPIC_ID="Keyboard_shortcuts" ICON="icon_preferences_folder">
52 <HEAD>Keyboard Shortcuts</HEAD>
53 <TOPIC TOPIC_ID="Autocomplete" ICON="icon_preferences_folder">
54 <HEAD>Autocomplete</HEAD>
55 <TEXT DESCRIPTION="Key">autocomplete_shortcut_key<STRING>Space</STRING></TEXT>
56 <TEXT DESCRIPTION="+ Ctrl">autocomplete_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
57 <TEXT DESCRIPTION="+ Alt">autocomplete_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
58 <TEXT DESCRIPTION="+ Shift">autocomplete_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
59 </TOPIC>
60 <TOPIC TOPIC_ID="Class name autocomplete" ICON="icon_preferences_folder">
61 <HEAD>Class name autocomplete</HEAD>
62 <TEXT DESCRIPTION="Key">class_autocomplete_shortcut_key<STRING>Space</STRING></TEXT>
63 <TEXT DESCRIPTION="+ Ctrl">class_autocomplete_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
64 <TEXT DESCRIPTION="+ Alt">class_autocomplete_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
65 <TEXT DESCRIPTION="+ Shift">class_autocomplete_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
66 </TOPIC>
67 <TOPIC TOPIC_ID="Search selection" ICON="icon_preferences_folder">
68 <HEAD>Search selection</HEAD>
69 <TEXT DESCRIPTION="Key">search_selection_shortcut_key<STRING>F3</STRING></TEXT>
70 <TEXT DESCRIPTION="+ Ctrl">search_selection_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
71 <TEXT DESCRIPTION="+ Alt">search_selection_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
72 <TEXT DESCRIPTION="+ Shift">search_selection_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
73 </TOPIC>
74 <TOPIC TOPIC_ID="Search again" ICON="icon_preferences_folder">
75 <HEAD>Search again</HEAD>
76 <TEXT DESCRIPTION="Key">search_last_shortcut_key<STRING>F3</STRING></TEXT>
77 <TEXT DESCRIPTION="+ Ctrl">search_last_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
78 <TEXT DESCRIPTION="+ Alt">search_last_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
79 <TEXT DESCRIPTION="+ Shift">search_last_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
80 </TOPIC>
81 <TOPIC TOPIC_ID="Search backward" ICON="icon_preferences_folder">
82 <HEAD>Search backward</HEAD>
83 <TEXT DESCRIPTION="Key">search_backward_shortcut_key<STRING>F3</STRING></TEXT>
84 <TEXT DESCRIPTION="+ Ctrl">search_backward_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
85 <TEXT DESCRIPTION="+ Alt">search_backward_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
86 <TEXT DESCRIPTION="+ Shift">search_backward_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
87 </TOPIC>
88 <TOPIC TOPIC_ID="Show search panel" ICON="icon_preferences_folder">
89 <HEAD>Show search panel</HEAD>
90 <TEXT DESCRIPTION="Key">show_search_panel_shortcut_key<STRING>F</STRING></TEXT>
91 <TEXT DESCRIPTION="+ Ctrl">show_search_panel_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
92 <TEXT DESCRIPTION="+ Alt">show_search_panel_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
93 <TEXT DESCRIPTION="+ Shift">show_search_panel_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
94 </TOPIC>
95 <TOPIC TOPIC_ID="Show search and replace panel" ICON="icon_preferences_folder">
96 <HEAD>Show search and replace panel</HEAD>
97 <TEXT DESCRIPTION="Key">show_search_and_replace_panel_shortcut_key<STRING>H</STRING></TEXT>
98 <TEXT DESCRIPTION="+ Ctrl">show_search_and_replace_panel_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
99 <TEXT DESCRIPTION="+ Alt">show_search_and_replace_panel_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
100 <TEXT DESCRIPTION="+ Shift">show_search_and_replace_panel_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
101 </TOPIC>
102 <TOPIC TOPIC_ID="Insert user defined string (1)" ICON="icon_preferences_folder">
103 <HEAD>Insert user defined string (1)</HEAD>
104 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_1<STRING></STRING></TEXT>
105 <TEXT DESCRIPTION="Key">customized_insertion_1_shortcut_key<STRING>F2</STRING></TEXT>
106 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_1_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
107 <TEXT DESCRIPTION="+ Alt">customized_insertion_1_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
108 <TEXT DESCRIPTION="+ Shift">customized_insertion_1_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
109 </TOPIC>
110 <TOPIC TOPIC_ID="Insert user defined string (2)" ICON="icon_preferences_folder">
111 <HEAD>Insert user defined string (2)</HEAD>
112 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_2<STRING></STRING></TEXT>
113 <TEXT DESCRIPTION="Key">customized_insertion_2_shortcut_key<STRING>F2</STRING></TEXT>
114 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_2_shortcut_ctrl<BOOLEAN>True</BOOLEAN></TEXT>
115 <TEXT DESCRIPTION="+ Alt">customized_insertion_2_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
116 <TEXT DESCRIPTION="+ Shift">customized_insertion_2_shortcut_shift<BOOLEAN>False</BOOLEAN></TEXT>
117 </TOPIC>
118 <TOPIC TOPIC_ID="Insert user defined string (3)" ICON="icon_preferences_folder">
119 <HEAD>Insert user defined string (3)</HEAD>
120 <TEXT DESCRIPTION="String to be inserted" IMMEDIATE_EFFECT="no">customized_string_3<STRING></STRING></TEXT>
121 <TEXT DESCRIPTION="Key">customized_insertion_3_shortcut_key<STRING>F2</STRING></TEXT>
122 <TEXT DESCRIPTION="+ Ctrl">customized_insertion_3_shortcut_ctrl<BOOLEAN>False</BOOLEAN></TEXT>
123 <TEXT DESCRIPTION="+ Alt">customized_insertion_3_shortcut_alt<BOOLEAN>False</BOOLEAN></TEXT>
124 <TEXT DESCRIPTION="+ Shift">customized_insertion_3_shortcut_shift<BOOLEAN>True</BOOLEAN></TEXT>
125 </TOPIC>
126 </TOPIC>
127 <TOPIC TOPIC_ID="Automatic completion" ICON="icon_preferences_folder">
128 <HEAD>Autocomplete</HEAD>
129 <TEXT DESCRIPTION="Brackets and parentheses are closed automatically">autocomplete_brackets_and_parenthesis<BOOLEAN>False</BOOLEAN></TEXT>
130 <TEXT DESCRIPTION="Quotes are closed automatically">autocomplete_quotes<BOOLEAN>False</BOOLEAN></TEXT>
131 <TEXT DESCRIPTION="Enable syntax autocomplete">syntax_autocomplete<BOOLEAN>True</BOOLEAN></TEXT>
132 <TEXT DESCRIPTION="ANY features appear in the feature call complete window">call_complete_with_any_features<BOOLEAN>False</BOOLEAN></TEXT>
133 <TOPIC TOPIC_ID="class_structure_completion" ICON="icon_preferences_folder">
134 <HEAD>Class structure keywords</HEAD>
135 <TOPIC TOPIC_ID="indexing" ICON="icon_preferences_folder">
136 <HEAD>indexing</HEAD>
137 <TEXT DESCRIPTION="Autocomplete indexing">autocomplete_indexing<BOOLEAN>True</BOOLEAN></TEXT>
138 <TEXT DESCRIPTION="Use default autocomplete">use_default_indexing<BOOLEAN>True</BOOLEAN></TEXT>
139 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_indexing_space<STRING> $cursor$</STRING></TEXT>
140 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_indexing_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
141 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_indexing_space_later<STRING> $cursor$</STRING></TEXT>
142 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_indexing_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
143 </TOPIC>
144 <TOPIC TOPIC_ID="class" ICON="icon_preferences_folder">
145 <HEAD>class</HEAD>
146 <TEXT DESCRIPTION="Autocomplete class">autocomplete_class<BOOLEAN>True</BOOLEAN></TEXT>
147 <TEXT DESCRIPTION="Use default autocomplete">use_default_class<BOOLEAN>True</BOOLEAN></TEXT>
148 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_class_space<STRING> $cursor$</STRING></TEXT>
149 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_class_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
150 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_class_space_later<STRING> $cursor$</STRING></TEXT>
151 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_class_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
152 </TOPIC>
153 <TOPIC TOPIC_ID="inherit" ICON="icon_preferences_folder">
154 <HEAD>inherit</HEAD>
155 <TEXT DESCRIPTION="Autocomplete inherit">autocomplete_inherit<BOOLEAN>True</BOOLEAN></TEXT>
156 <TEXT DESCRIPTION="Use default autocomplete">use_default_inherit<BOOLEAN>True</BOOLEAN></TEXT>
157 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_inherit_space<STRING> $cursor$</STRING></TEXT>
158 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_inherit_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
159 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_inherit_space_later<STRING> $cursor$</STRING></TEXT>
160 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_inherit_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
161 </TOPIC>
162 <TOPIC TOPIC_ID="creation" ICON="icon_preferences_folder">
163 <HEAD>creation</HEAD>
164 <TEXT DESCRIPTION="Autocomplete creation">autocomplete_creation<BOOLEAN>True</BOOLEAN></TEXT>
165 <TEXT DESCRIPTION="Use default autocomplete">use_default_creation<BOOLEAN>True</BOOLEAN></TEXT>
166 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_creation_space<STRING> $cursor$</STRING></TEXT>
167 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_creation_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
168 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_creation_space_later<STRING> $cursor$</STRING></TEXT>
169 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_creation_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
170 </TOPIC>
171 <TOPIC TOPIC_ID="feature" ICON="icon_preferences_folder">
172 <HEAD>feature</HEAD>
173 <TEXT DESCRIPTION="Autocomplete feature">autocomplete_feature<BOOLEAN>True</BOOLEAN></TEXT>
174 <TEXT DESCRIPTION="Use default autocomplete">use_default_feature<BOOLEAN>True</BOOLEAN></TEXT>
175 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_feature_space<STRING> $cursor$</STRING></TEXT>
176 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_feature_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
177 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_feature_space_later<STRING> $cursor$</STRING></TEXT>
178 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_feature_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
179 </TOPIC>
180 </TOPIC>
181 <TOPIC TOPIC_ID="feature_structure_completion" ICON="icon_preferences_folder">
182 <HEAD>Feature structure keywords</HEAD>
183 <TOPIC TOPIC_ID="is" ICON="icon_preferences_folder">
184 <HEAD>is</HEAD>
185 <TEXT DESCRIPTION="Autocomplete is">autocomplete_is<BOOLEAN>True</BOOLEAN></TEXT>
186 <TEXT DESCRIPTION="Use default autocomplete">use_default_is<BOOLEAN>True</BOOLEAN></TEXT>
187 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_is_space<STRING> $cursor$</STRING></TEXT>
188 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_is_return<STRING>%N$indent$%T%T-- $cursor$%N$indent$%T</STRING></TEXT>
189 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_is_space_later<STRING> $cursor$</STRING></TEXT>
190 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_is_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
191 </TOPIC>
192 <TOPIC TOPIC_ID="require" ICON="icon_preferences_folder">
193 <HEAD>require</HEAD>
194 <TEXT DESCRIPTION="Autocomplete require">autocomplete_require<BOOLEAN>True</BOOLEAN></TEXT>
195 <TEXT DESCRIPTION="Use default autocomplete">use_default_require<BOOLEAN>True</BOOLEAN></TEXT>
196 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_require_space<STRING> $cursor$</STRING></TEXT>
197 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_require_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
198 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_require_space_later<STRING> $cursor$</STRING></TEXT>
199 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_require_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
200 </TOPIC>
201 <TOPIC TOPIC_ID="require else" ICON="icon_preferences_folder">
202 <HEAD>require else</HEAD>
203 <TEXT DESCRIPTION="Autocomplete require else">autocomplete_require_else<BOOLEAN>True</BOOLEAN></TEXT>
204 <TEXT DESCRIPTION="Use default autocomplete">use_default_require_else<BOOLEAN>True</BOOLEAN></TEXT>
205 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_require_else_space<STRING> $cursor$</STRING></TEXT>
206 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_require_else_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
207 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_require_else_space_later<STRING> $cursor$</STRING></TEXT>
208 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_require_else_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
209 </TOPIC>
210 <TOPIC TOPIC_ID="local" ICON="icon_preferences_folder">
211 <HEAD>local</HEAD>
212 <TEXT DESCRIPTION="Autocomplete local">autocomplete_local<BOOLEAN>True</BOOLEAN></TEXT>
213 <TEXT DESCRIPTION="Use default autocomplete">use_default_local<BOOLEAN>True</BOOLEAN></TEXT>
214 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_local_space<STRING> $cursor$</STRING></TEXT>
215 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_local_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
216 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_local_space_later<STRING> $cursor$</STRING></TEXT>
217 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_local_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
218 </TOPIC>
219 <TOPIC TOPIC_ID="do" ICON="icon_preferences_folder">
220 <HEAD>do</HEAD>
221 <TEXT DESCRIPTION="Autocomplete do">autocomplete_do<BOOLEAN>True</BOOLEAN></TEXT>
222 <TEXT DESCRIPTION="Use default autocomplete">use_default_do<BOOLEAN>True</BOOLEAN></TEXT>
223 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_do_space<STRING> $cursor$ end</STRING></TEXT>
224 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_do_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
225 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_do_space_later<STRING> $cursor$</STRING></TEXT>
226 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_do_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
227 </TOPIC>
228 <TOPIC TOPIC_ID="once" ICON="icon_preferences_folder">
229 <HEAD>once</HEAD>
230 <TEXT DESCRIPTION="Autocomplete once">autocomplete_once<BOOLEAN>True</BOOLEAN></TEXT>
231 <TEXT DESCRIPTION="Use default autocomplete">use_default_once<BOOLEAN>True</BOOLEAN></TEXT>
232 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_once_space<STRING> $cursor$ end</STRING></TEXT>
233 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_once_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
234 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_once_space_later<STRING> $cursor$</STRING></TEXT>
235 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_once_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
236 </TOPIC>
237 <TOPIC TOPIC_ID="deferred" ICON="icon_preferences_folder">
238 <HEAD>deferred</HEAD>
239 <TEXT DESCRIPTION="Autocomplete deferred">autocomplete_deferred<BOOLEAN>True</BOOLEAN></TEXT>
240 <TEXT DESCRIPTION="Use default autocomplete">use_default_deferred<BOOLEAN>True</BOOLEAN></TEXT>
241 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_deferred_space<STRING> end$cursor$</STRING></TEXT>
242 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_deferred_return<STRING>%N$indent$end$cursor$</STRING></TEXT>
243 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_deferred_space_later<STRING> $cursor$</STRING></TEXT>
244 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_deferred_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
245 </TOPIC>
246 <TOPIC TOPIC_ID="external" ICON="icon_preferences_folder">
247 <HEAD>external</HEAD>
248 <TEXT DESCRIPTION="Autocomplete external">autocomplete_external<BOOLEAN>True</BOOLEAN></TEXT>
249 <TEXT DESCRIPTION="Use default autocomplete">use_default_external<BOOLEAN>True</BOOLEAN></TEXT>
250 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_external_space<STRING> "$cursor$" end</STRING></TEXT>
251 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_external_return<STRING>%N$indent$%T"$cursor$"%N$indent$end</STRING></TEXT>
252 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_external_space_later<STRING> $cursor$</STRING></TEXT>
253 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_external_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
254 </TOPIC>
255 <TOPIC TOPIC_ID="rescue" ICON="icon_preferences_folder">
256 <HEAD>rescue</HEAD>
257 <TEXT DESCRIPTION="Autocomplete rescue">autocomplete_rescue<BOOLEAN>True</BOOLEAN></TEXT>
258 <TEXT DESCRIPTION="Use default autocomplete">use_default_rescue<BOOLEAN>True</BOOLEAN></TEXT>
259 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_rescue_space<STRING> $cursor$</STRING></TEXT>
260 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_rescue_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
261 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_rescue_space_later<STRING> $cursor$</STRING></TEXT>
262 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_rescue_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
263 </TOPIC>
264 <TOPIC TOPIC_ID="ensure" ICON="icon_preferences_folder">
265 <HEAD>ensure</HEAD>
266 <TEXT DESCRIPTION="Autocomplete ensure">autocomplete_ensure<BOOLEAN>True</BOOLEAN></TEXT>
267 <TEXT DESCRIPTION="Use default autocomplete">use_default_ensure<BOOLEAN>True</BOOLEAN></TEXT>
268 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_ensure_space<STRING> $cursor$</STRING></TEXT>
269 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_ensure_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
270 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_ensure_space_later<STRING> $cursor$</STRING></TEXT>
271 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_ensure_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
272 </TOPIC>
273 <TOPIC TOPIC_ID="ensure then" ICON="icon_preferences_folder">
274 <HEAD>ensure then</HEAD>
275 <TEXT DESCRIPTION="Autocomplete ensure then">autocomplete_ensure_then<BOOLEAN>True</BOOLEAN></TEXT>
276 <TEXT DESCRIPTION="Use default autocomplete">use_default_ensure_then<BOOLEAN>True</BOOLEAN></TEXT>
277 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_ensure_then_space<STRING> $cursor$</STRING></TEXT>
278 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_ensure_then_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
279 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_ensure_then_space_later<STRING> $cursor$</STRING></TEXT>
280 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_ensure_then_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
281 </TOPIC>
282 <TOPIC TOPIC_ID="alias" ICON="icon_preferences_folder">
283 <HEAD>alias</HEAD>
284 <TEXT DESCRIPTION="Autocomplete alias">autocomplete_alias<BOOLEAN>True</BOOLEAN></TEXT>
285 <TEXT DESCRIPTION="Use default autocomplete">use_default_alias<BOOLEAN>True</BOOLEAN></TEXT>
286 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_alias_space<STRING> "$cursor$"</STRING></TEXT>
287 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_alias_return<STRING>%N$indent$%T"$cursor$"</STRING></TEXT>
288 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_alias_space_later<STRING> $cursor$</STRING></TEXT>
289 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_alias_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
290 </TOPIC>
291 </TOPIC>
292 <TOPIC TOPIC_ID="control_structures_completion" ICON="icon_preferences_folder">
293 <HEAD>Control structures keywords</HEAD>
294 <TOPIC TOPIC_ID="if" ICON="icon_preferences_folder">
295 <HEAD>if</HEAD>
296 <TEXT DESCRIPTION="Autocomplete if">autocomplete_if<BOOLEAN>True</BOOLEAN></TEXT>
297 <TEXT DESCRIPTION="Use default autocomplete">use_default_if<BOOLEAN>True</BOOLEAN></TEXT>
298 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_if_space<STRING> $cursor$ then%N$indent$%T%N$indent$end</STRING></TEXT>
299 <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>
300 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_if_space_later<STRING> $cursor$</STRING></TEXT>
301 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_if_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
302 </TOPIC>
303 <TOPIC TOPIC_ID="then" ICON="icon_preferences_folder">
304 <HEAD>then</HEAD>
305 <TEXT DESCRIPTION="Autocomplete then">autocomplete_then<BOOLEAN>True</BOOLEAN></TEXT>
306 <TEXT DESCRIPTION="Use default autocomplete">use_default_then<BOOLEAN>True</BOOLEAN></TEXT>
307 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_then_space<STRING> $cursor$</STRING></TEXT>
308 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_then_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
309 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_then_space_later<STRING> $cursor$</STRING></TEXT>
310 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_then_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
311 </TOPIC>
312 <TOPIC TOPIC_ID="elseif" ICON="icon_preferences_folder">
313 <HEAD>elseif</HEAD>
314 <TEXT DESCRIPTION="Autocomplete else if">autocomplete_elseif<BOOLEAN>True</BOOLEAN></TEXT>
315 <TEXT DESCRIPTION="Use default autocomplete">use_default_elseif<BOOLEAN>True</BOOLEAN></TEXT>
316 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_elseif_space<STRING> $cursor$ then%N$indent$%T</STRING></TEXT>
317 <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>
318 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_elseif_space_later<STRING> $cursor$</STRING></TEXT>
319 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_elseif_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
320 </TOPIC>
321 <TOPIC TOPIC_ID="else" ICON="icon_preferences_folder">
322 <HEAD>else</HEAD>
323 <TEXT DESCRIPTION="Autocomplete else">autocomplete_else<BOOLEAN>True</BOOLEAN></TEXT>
324 <TEXT DESCRIPTION="Use default autocomplete">use_default_else<BOOLEAN>True</BOOLEAN></TEXT>
325 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_else_space<STRING> $cursor$</STRING></TEXT>
326 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_else_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
327 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_else_space_later<STRING> $cursor$</STRING></TEXT>
328 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_else_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
329 </TOPIC>
330 <TOPIC TOPIC_ID="inspect" ICON="icon_preferences_folder">
331 <HEAD>inspect</HEAD>
332 <TEXT DESCRIPTION="Autocomplete inspect">autocomplete_inspect<BOOLEAN>True</BOOLEAN></TEXT>
333 <TEXT DESCRIPTION="Use default autocomplete">use_default_inspect<BOOLEAN>True</BOOLEAN></TEXT>
334 <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>
335 <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>
336 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_inspect_space_later<STRING> $cursor$</STRING></TEXT>
337 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_inspect_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
338 </TOPIC>
339 <TOPIC TOPIC_ID="when" ICON="icon_preferences_folder">
340 <HEAD>when</HEAD>
341 <TEXT DESCRIPTION="Autocomplete when">autocomplete_when<BOOLEAN>True</BOOLEAN></TEXT>
342 <TEXT DESCRIPTION="Use default autocomplete">use_default_when<BOOLEAN>True</BOOLEAN></TEXT>
343 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_when_space<STRING> $cursor$ then%N$indent$%T</STRING></TEXT>
344 <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>
345 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_when_space_later<STRING> $cursor$</STRING></TEXT>
346 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_when_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
347 </TOPIC>
348 <TOPIC TOPIC_ID="from" ICON="icon_preferences_folder">
349 <HEAD>from</HEAD>
350 <TEXT DESCRIPTION="Autocomplete from">autocomplete_from<BOOLEAN>True</BOOLEAN></TEXT>
351 <TEXT DESCRIPTION="Use default autocomplete">use_default_from<BOOLEAN>True</BOOLEAN></TEXT>
352 <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>
353 <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>
354 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_from_space_later<STRING> $cursor$</STRING></TEXT>
355 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_from_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
356 </TOPIC>
357 <TOPIC TOPIC_ID="variant" ICON="icon_preferences_folder">
358 <HEAD>variant</HEAD>
359 <TEXT DESCRIPTION="Autocomplete variant">autocomplete_variant<BOOLEAN>True</BOOLEAN></TEXT>
360 <TEXT DESCRIPTION="Use default autocomplete">use_default_variant<BOOLEAN>True</BOOLEAN></TEXT>
361 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_variant_space<STRING> $cursor$</STRING></TEXT>
362 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_variant_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
363 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_variant_space_later<STRING> $cursor$</STRING></TEXT>
364 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_variant_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
365 </TOPIC>
366 <TOPIC TOPIC_ID="until" ICON="icon_preferences_folder">
367 <HEAD>until</HEAD>
368 <TEXT DESCRIPTION="Autocomplete then">autocomplete_until<BOOLEAN>True</BOOLEAN></TEXT>
369 <TEXT DESCRIPTION="Use default autocomplete">use_default_until<BOOLEAN>True</BOOLEAN></TEXT>
370 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_until_space<STRING> $cursor$</STRING></TEXT>
371 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_until_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
372 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_until_space_later<STRING> $cursor$</STRING></TEXT>
373 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_until_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
374 </TOPIC>
375 <TOPIC TOPIC_ID="loop" ICON="icon_preferences_folder">
376 <HEAD>loop</HEAD>
377 <TEXT DESCRIPTION="Autocomplete then">autocomplete_loop<BOOLEAN>True</BOOLEAN></TEXT>
378 <TEXT DESCRIPTION="Use default autocomplete">use_default_loop<BOOLEAN>True</BOOLEAN></TEXT>
379 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_loop_space<STRING> $cursor$</STRING></TEXT>
380 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_loop_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
381 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_loop_space_later<STRING> $cursor$</STRING></TEXT>
382 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_loop_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
383 </TOPIC>
384 <TOPIC TOPIC_ID="debug" ICON="icon_preferences_folder">
385 <HEAD>debug</HEAD>
386 <TEXT DESCRIPTION="Autocomplete debug">autocomplete_debug<BOOLEAN>True</BOOLEAN></TEXT>
387 <TEXT DESCRIPTION="Use default autocomplete">use_default_debug<BOOLEAN>True</BOOLEAN></TEXT>
388 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_debug_space<STRING> $cursor$ end</STRING></TEXT>
389 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_debug_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
390 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_debug_space_later<STRING> $cursor$</STRING></TEXT>
391 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_debug_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
392 </TOPIC>
393 <TOPIC TOPIC_ID="check" ICON="icon_preferences_folder">
394 <HEAD>check</HEAD>
395 <TEXT DESCRIPTION="Autocomplete check">autocomplete_check<BOOLEAN>True</BOOLEAN></TEXT>
396 <TEXT DESCRIPTION="Use default autocomplete">use_default_check<BOOLEAN>True</BOOLEAN></TEXT>
397 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_check_space<STRING> $cursor$ end</STRING></TEXT>
398 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_check_return<STRING>%N$indent$%T$cursor$%N$indent$end</STRING></TEXT>
399 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_check_space_later<STRING> $cursor$</STRING></TEXT>
400 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_check_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
401 </TOPIC>
402 </TOPIC>
403 <TOPIC TOPIC_ID="inherit_clause_completion" ICON="icon_preferences_folder">
404 <HEAD>Inherit clauses keywords</HEAD>
405 <TOPIC TOPIC_ID="rename" ICON="icon_preferences_folder">
406 <HEAD>rename</HEAD>
407 <TEXT DESCRIPTION="Autocomplete rename">autocomplete_rename<BOOLEAN>True</BOOLEAN></TEXT>
408 <TEXT DESCRIPTION="Use default autocomplete">use_default_rename<BOOLEAN>True</BOOLEAN></TEXT>
409 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_rename_space<STRING> $cursor$</STRING></TEXT>
410 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_rename_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
411 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_rename_space_later<STRING> $cursor$</STRING></TEXT>
412 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_rename_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
413 </TOPIC>
414 <TOPIC TOPIC_ID="redefine" ICON="icon_preferences_folder">
415 <HEAD>redefine</HEAD>
416 <TEXT DESCRIPTION="Autocomplete redefine">autocomplete_redefine<BOOLEAN>True</BOOLEAN></TEXT>
417 <TEXT DESCRIPTION="Use default autocomplete">use_default_redefine<BOOLEAN>True</BOOLEAN></TEXT>
418 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_redefine_space<STRING> $cursor$</STRING></TEXT>
419 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_redefine_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
420 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_redefine_space_later<STRING> $cursor$</STRING></TEXT>
421 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_redefine_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
422 </TOPIC>
423 <TOPIC TOPIC_ID="undefine" ICON="icon_preferences_folder">
424 <HEAD>undefine</HEAD>
425 <TEXT DESCRIPTION="Autocomplete undefine">autocomplete_undefine<BOOLEAN>True</BOOLEAN></TEXT>
426 <TEXT DESCRIPTION="Use default autocomplete">use_default_undefine<BOOLEAN>True</BOOLEAN></TEXT>
427 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_undefine_space<STRING> $cursor$</STRING></TEXT>
428 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_undefine_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
429 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_undefine_space_later<STRING> $cursor$</STRING></TEXT>
430 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_undefine_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
431 </TOPIC>
432 <TOPIC TOPIC_ID="select" ICON="icon_preferences_folder">
433 <HEAD>select</HEAD>
434 <TEXT DESCRIPTION="Autocomplete select">autocomplete_select<BOOLEAN>True</BOOLEAN></TEXT>
435 <TEXT DESCRIPTION="Use default autocomplete">use_default_select<BOOLEAN>True</BOOLEAN></TEXT>
436 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_select_space<STRING> $cursor$</STRING></TEXT>
437 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_select_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
438 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_select_space_later<STRING> $cursor$</STRING></TEXT>
439 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_select_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
440 </TOPIC>
441 <TOPIC TOPIC_ID="export" ICON="icon_preferences_folder">
442 <HEAD>export</HEAD>
443 <TEXT DESCRIPTION="Autocomplete export">autocomplete_export<BOOLEAN>True</BOOLEAN></TEXT>
444 <TEXT DESCRIPTION="Use default autocomplete">use_default_export<BOOLEAN>True</BOOLEAN></TEXT>
445 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_export_space<STRING> $cursor$</STRING></TEXT>
446 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_export_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
447 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_export_space_later<STRING> $cursor$</STRING></TEXT>
448 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_export_return_later<STRING>%N$indent$%T$cursor$</STRING></TEXT>
449 </TOPIC>
450 </TOPIC>
451 <TOPIC TOPIC_ID="misc_completion" ICON="icon_preferences_folder">
452 <HEAD>Other keywords</HEAD>
453 <TOPIC TOPIC_ID="Precursor" ICON="icon_preferences_folder">
454 <HEAD>Precursor</HEAD>
455 <TEXT DESCRIPTION="Autocomplete Precursor">autocomplete_precursor<BOOLEAN>True</BOOLEAN></TEXT>
456 <TEXT DESCRIPTION="Use default autocomplete">use_default_precursor<BOOLEAN>True</BOOLEAN></TEXT>
457 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_precursor_space<STRING> {$cursor$}</STRING></TEXT>
458 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_precursor_return<STRING>%N$indent$$cursor$</STRING></TEXT>
459 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_precursor_space_later<STRING> $cursor$</STRING></TEXT>
460 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_precursor_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
461 </TOPIC>
462 <TOPIC TOPIC_ID="create" ICON="icon_preferences_folder">
463 <HEAD>create</HEAD>
464 <TEXT DESCRIPTION="Autocomplete create">autocomplete_create<BOOLEAN>True</BOOLEAN></TEXT>
465 <TEXT DESCRIPTION="Use default autocomplete">use_default_create<BOOLEAN>True</BOOLEAN></TEXT>
466 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_create_space<STRING> $cursor$</STRING></TEXT>
467 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_create_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
468 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_create_space_later<STRING> $cursor$</STRING></TEXT>
469 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_create_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
470 </TOPIC>
471 <TOPIC TOPIC_ID="obsolete" ICON="icon_preferences_folder">
472 <HEAD>obsolete</HEAD>
473 <TEXT DESCRIPTION="Autocomplete obsolete">autocomplete_obsolete<BOOLEAN>True</BOOLEAN></TEXT>
474 <TEXT DESCRIPTION="Use default autocomplete">use_default_obsolete<BOOLEAN>True</BOOLEAN></TEXT>
475 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_obsolete_space<STRING> "$cursor$"</STRING></TEXT>
476 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_obsolete_return<STRING>%N$indent$%T"$cursor$"</STRING></TEXT>
477 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_obsolete_space_later<STRING> $cursor$</STRING></TEXT>
478 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_obsolete_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
479 </TOPIC>
480 <TOPIC TOPIC_ID="invariant" ICON="icon_preferences_folder">
481 <HEAD>invariant</HEAD>
482 <TEXT DESCRIPTION="Autocomplete invariant">autocomplete_invariant<BOOLEAN>True</BOOLEAN></TEXT>
483 <TEXT DESCRIPTION="Use default autocomplete">use_default_invariant<BOOLEAN>True</BOOLEAN></TEXT>
484 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_invariant_space<STRING> $cursor$</STRING></TEXT>
485 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_invariant_return<STRING>%N$indent$%T$cursor$</STRING></TEXT>
486 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_invariant_space_later<STRING> $cursor$</STRING></TEXT>
487 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_invariant_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
488 </TOPIC>
489 <TOPIC TOPIC_ID="end" ICON="icon_preferences_folder">
490 <HEAD>end</HEAD>
491 <TEXT DESCRIPTION="Autocomplete end">autocomplete_end<BOOLEAN>False</BOOLEAN></TEXT>
492 <TEXT DESCRIPTION="Use default autocomplete">use_default_end<BOOLEAN>True</BOOLEAN></TEXT>
493 <TEXT DESCRIPTION="Customized autocomplete (Space after keyword was typed)">custom_end_space<STRING> $cursor$</STRING></TEXT>
494 <TEXT DESCRIPTION="Customized autocomplete (Return after keyword was typed)">custom_end_return<STRING>%N$indent$$cursor$</STRING></TEXT>
495 <TEXT DESCRIPTION="Customized autocomplete (Space, other cases)">custom_end_space_later<STRING> $cursor$</STRING></TEXT>
496 <TEXT DESCRIPTION="Customized autocomplete (Return, other cases)">custom_end_return_later<STRING>%N$indent$$cursor$</STRING></TEXT>
497 </TOPIC>
498 </TOPIC>
499 </TOPIC>
500 </TOPIC>
501 <TOPIC TOPIC_ID="Debugging_tools" ICON="icon_preferences_folder">
502 <HEAD>Debugging tools</HEAD>
503 <TEXT DESCRIPTION="Display DEBUG_OUTPUT.debug_output value">debug_output_evaluation<BOOLEAN>True</BOOLEAN></TEXT>
504 <TEXT DESCRIPTION="Display ANY.generating_type value">generating_type_evaluation<BOOLEAN>True</BOOLEAN></TEXT>
505 <TEXT DESCRIPTION="Expanded view: default display size">debugger__default_expanded_view_size<INTEGER>500</INTEGER></TEXT>
506 <TOPIC TOPIC_ID="Dotnet_debugging_tools" ICON="icon_preferences_folder" VISIBILITY="hidden">
507 <HEAD>Dotnet</HEAD>
508 <TEXT DESCRIPTION="Enable optimized JIT debugging">enable_optimized_jit_debugging<BOOLEAN>False</BOOLEAN></TEXT>
509 </TOPIC>
510 </TOPIC>
511 <TOPIC TOPIC_ID="Internal_data" ICON="icon_preferences_folder" VISIBILITY="hidden">
512 <HEAD>Internal Data</HEAD>
513 <TEXT>graphical_output_disabled<BOOLEAN>False</BOOLEAN></TEXT>
514 </TOPIC>
515 </TOPIC>
516 <TOPIC TOPIC_ID="Graphics" ICON="icon_preferences_folder">
517 <HEAD>Graphical Elements</HEAD>
518 <TEXT DESCRIPTION="All-purpose editor font" IMMEDIATE_EFFECT="no">editor_font<FONT>Courier New-r-regular-11-typewriter</FONT></TEXT>
519 <TEXT DESCRIPTION="Keyword editor font" IMMEDIATE_EFFECT="no">keyword_font<FONT>Courier New-r-bold-11-typewriter</FONT></TEXT>
520 <TEXT DESCRIPTION="Tabulation size" IMMEDIATE_EFFECT="no">tab_step<INTEGER>4</INTEGER></TEXT>
521 <TEXT DESCRIPTION="Mouse wheel scroll full page" IMMEDIATE_EFFECT="yes">mouse_wheel_scroll_full_page<BOOLEAN>False</BOOLEAN></TEXT>
522 <TEXT DESCRIPTION="Mouse wheel scroll size" IMMEDIATE_EFFECT="yes">mouse_wheel_scroll_size<INTEGER>3</INTEGER></TEXT>
523 <TEXT DESCRIPTION="Use animated icons">use_animated_icons<BOOLEAN>True</BOOLEAN></TEXT>
524 <TOPIC TOPIC_ID="Default_Colors" ICON="icon_preferences_folder">
525 <HEAD>Colors</HEAD>
526 <TEXT DESCRIPTION="Foreground color for normal text">normal_text_color<COLOR>0;0;0</COLOR></TEXT>
527 <TEXT DESCRIPTION="Background color for normal text">normal_background_color<COLOR>255;255;255</COLOR></TEXT>
528 <TEXT DESCRIPTION="Foreground color for selected text">selection_text_color<COLOR>255;255;128</COLOR></TEXT>
529 <TEXT DESCRIPTION="Background color for selected text">selection_background_color<COLOR>0;0;128</COLOR></TEXT>
530 <TEXT DESCRIPTION="Foreground color for classes">class_text_color<COLOR>0;0;255</COLOR></TEXT>
531 <TEXT DESCRIPTION="Background color for classes">class_background_color<COLOR>auto</COLOR></TEXT>
532 <TEXT DESCRIPTION="Foreground color for features">feature_text_color<COLOR>0;128;0</COLOR></TEXT>
533 <TEXT DESCRIPTION="Background color for features">feature_background_color<COLOR>auto</COLOR></TEXT>
534 <TEXT DESCRIPTION="Foreground color for clusters">cluster_text_color<COLOR>128;0;0</COLOR></TEXT>
535 <TEXT DESCRIPTION="Background color for clusters">cluster_background_color<COLOR>auto</COLOR></TEXT>
536 <TEXT DESCRIPTION="Foreground color for errors">error_text_color<COLOR>255;0;0</COLOR></TEXT>
537 <TEXT DESCRIPTION="Background color for errors">error_background_color<COLOR>auto</COLOR></TEXT>
538 <TEXT DESCRIPTION="Foreground color for objects">object_text_color<COLOR>0;0;255</COLOR></TEXT>
539 <TEXT DESCRIPTION="Background color for objects">object_background_color<COLOR>255;255;255</COLOR></TEXT>
540 <TEXT DESCRIPTION="Foreground color for manifest strings">string_text_color<COLOR>0;0;0</COLOR></TEXT>
541 <TEXT DESCRIPTION="Background color for manifest strings">string_background_color<COLOR>255;255;255</COLOR></TEXT>
542 <TEXT DESCRIPTION="Foreground color for keywords">keyword_text_color<COLOR>0;0;128</COLOR></TEXT>
543 <TEXT DESCRIPTION="Background color for keywords">keyword_background_color<COLOR>auto</COLOR></TEXT>
544 <TEXT DESCRIPTION="Foreground color for spaces">spaces_text_color<COLOR>0;0;0</COLOR></TEXT>
545 <TEXT DESCRIPTION="Background color for spaces">spaces_background_color<COLOR>auto</COLOR></TEXT>
546 <TEXT DESCRIPTION="Foreground color for comments">comments_text_color<COLOR>128;0;0</COLOR></TEXT>
547 <TEXT DESCRIPTION="Background color for comments">comments_background_color<COLOR>auto</COLOR></TEXT>
548 <TEXT DESCRIPTION="Foreground color for numbers">number_text_color<COLOR>0;0;0</COLOR></TEXT>
549 <TEXT DESCRIPTION="Background color for numbers">number_background_color<COLOR>auto</COLOR></TEXT>
550 <TEXT DESCRIPTION="Foreground color for operators">operator_text_color<COLOR>0;0;0</COLOR></TEXT>
551 <TEXT DESCRIPTION="Background color for operators">operator_background_color<COLOR>auto</COLOR></TEXT>
552 <TEXT DESCRIPTION="Foreground color for indexing tags">indexing_tag_text_color<COLOR>64;0;0</COLOR></TEXT>
553 <TEXT DESCRIPTION="Background color for indexing tags">indexing_tag_background_color<COLOR>auto</COLOR></TEXT>
554 <TEXT DESCRIPTION="Foreground color for assertion tags">assertion_tag_text_color<COLOR>64;0;0</COLOR></TEXT>
555 <TEXT DESCRIPTION="Background color for assertion tags">assertion_tag_background_color<COLOR>auto</COLOR></TEXT>
556 <TEXT DESCRIPTION="Foreground color for reserved words">reserved_text_color<COLOR>64;0;0</COLOR></TEXT>
557 <TEXT DESCRIPTION="Background color for reserved words">reserved_background_color<COLOR>auto</COLOR></TEXT>
558 <TEXT DESCRIPTION="Foreground color for locals">local_text_color<COLOR>64;0;0</COLOR></TEXT>
559 <TEXT DESCRIPTION="Background color for locals">local_background_color<COLOR>auto</COLOR></TEXT>
560 <TEXT DESCRIPTION="Foreground color for generics">generic_text_color<COLOR>255;0;0</COLOR></TEXT>
561 <TEXT DESCRIPTION="Background color for generics">generic_background_color<COLOR>auto</COLOR></TEXT>
562 <TEXT DESCRIPTION="Color for breakable marks and breakpoints">breakpoint_background_color<COLOR>212;208;200</COLOR></TEXT>
563 <TEXT DESCRIPTION="Color for progress bars">progress_bar_color<COLOR>0;0;128</COLOR></TEXT>
564 </TOPIC>
565 <TOPIC TOPIC_ID="Dialogs" ICON="icon_preferences_folder">
566 <HEAD>Dialogs</HEAD>
567 <TEXT DESCRIPTION="Display New/Open project dialog at startup">show_starting_dialog<BOOLEAN>True</BOOLEAN></TEXT>
568 <TEXT DESCRIPTION="Display confirmation dialog on exit">confirm_on_exit<BOOLEAN>True</BOOLEAN></TEXT>
569 <TEXT DESCRIPTION="Display confirmation dialog for C compilation on freeze operation">confirm_freeze<BOOLEAN>True</BOOLEAN></TEXT>
570 <TEXT DESCRIPTION="Display confirmation dialog for C compilation on finalize operation">confirm_finalize<BOOLEAN>True</BOOLEAN></TEXT>
571 <TEXT DESCRIPTION="Display confirmation dialog for assertions on finalize operation">confirm_finalize_assertions<BOOLEAN>True</BOOLEAN></TEXT>
572 <TEXT DESCRIPTION="Display confirmation dialog for finalizing a .NET precompiled library">confirm_finalize_precompile<BOOLEAN>True</BOOLEAN></TEXT>
573 <TEXT DESCRIPTION="Display confirmation dialog on compilation when some files have not been saved">confirm_save_before_compile<BOOLEAN>True</BOOLEAN></TEXT>
574 <TEXT DESCRIPTION="Display confirmation dialog on clearing breakpoints">confirm_clear_breakpoints<BOOLEAN>True</BOOLEAN></TEXT>
575 <TEXT DESCRIPTION="Display confirmation dialog when starting the application without stopping at breakpoints">confirm_ignore_all_breakpoints<BOOLEAN>True</BOOLEAN></TEXT>
576 <TEXT DESCRIPTION="Display warning dialog when changing resources that need you to restart EiffelStudio">confirm_change_resource_need_restart<BOOLEAN>True</BOOLEAN></TEXT>
577 <TEXT DESCRIPTION="Display confirmation dialog before converting an old project">confirm_convert_project<BOOLEAN>True</BOOLEAN></TEXT>
578 <TEXT DESCRIPTION="Display dialog that warns that text is being loaded and is not editable or clickable">acknowledge_not_loaded<BOOLEAN>True</BOOLEAN></TEXT>
579 <TEXT DESCRIPTION="Display dialog that warns that homonym format can take a long time">generate_homonyms<BOOLEAN>True</BOOLEAN></TEXT>
580 <TEXT DESCRIPTION="Display dialog when an application is running and a compilation is launched">stop_execution_when_compiling<BOOLEAN>True</BOOLEAN></TEXT>
581 <TEXT DESCRIPTION="Display dialog before killing a debugged application">confirm_kill<BOOLEAN>True</BOOLEAN></TEXT>
582 <TEXT DESCRIPTION="Display dialog when editing the same class in two development windows">already_editing_class<BOOLEAN>True</BOOLEAN></TEXT>
583 <TEXT DESCRIPTION="Display dialog while running an external command">executing_command<BOOLEAN>True</BOOLEAN></TEXT>
584 </TOPIC>
585 </TOPIC>
586 <TOPIC TOPIC_ID="Dynamic_data" ICON="icon_preferences_folder" VISIBILITY="hidden">
587 <HEAD>Dynamic data</HEAD>
588 <TEXT>display_dotnet_cmd<BOOLEAN>False</BOOLEAN></TEXT>
589 <TEXT>development_window__show_address_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
590 <TEXT>development_window__show_project_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
591 <TEXT>development_window__show_general_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
592 <TEXT>development_window__show_text_in_general_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
593 <TEXT>development_window__show_all_text_in_general_toolbar<BOOLEAN>False</BOOLEAN></TEXT>
594 <TEXT>debugger__show_text_in_project_toolbar<BOOLEAN>True</BOOLEAN></TEXT>
595 <TEXT>debugger__show_all_text_in_project_toolbar<BOOLEAN>False</BOOLEAN></TEXT>
596 <TEXT>debug_main_splitter_position<INTEGER>250</INTEGER></TEXT>
597 <TEXT>debugger__default_maximum_stack_depth<INTEGER>100</INTEGER></TEXT>
598 <TEXT>debugger__critical_stack_depth<INTEGER>1000</INTEGER></TEXT>
599 <TEXT>last_saved_stack_path<STRING>C:\</STRING></TEXT>
600 <TEXT>last_browsed_cluster_directory<STRING>C:\</STRING></TEXT>
601 <TEXT>max_slice<INTEGER>50</INTEGER></TEXT>
602 <TEXT>min_slice<INTEGER>0</INTEGER></TEXT>
603 <TEXT>dyn_lib_window_height<INTEGER>300</INTEGER></TEXT>
604 <TEXT>dyn_lib_window_width<INTEGER>450</INTEGER></TEXT>
605 <TEXT>development_window__height<INTEGER>600</INTEGER></TEXT>
606 <TEXT>development_window__width<INTEGER>800</INTEGER></TEXT>
607 <TEXT>development_window__is_maximized<BOOLEAN>False</BOOLEAN></TEXT>
608 <TEXT>development_window__left_panel_width<INTEGER>100</INTEGER></TEXT>
609 <TEXT>development_window__left_panel_layout<LIST_STRING>visible;visible;closed;closed;closed;closed;190;250</LIST_STRING></TEXT>
610 <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>
611 <TEXT>development_window__right_panel_layout<LIST_STRING>visible;visible;190;178</LIST_STRING></TEXT>
612 <TEXT>development_window__right_panel_layout_new<LIST_STRING>Editor;visible;0;0;0;190;Context;visible;0;0;0;178</LIST_STRING></TEXT>
613 <TEXT>right_debug_layout<LIST_STRING>minimized;visible;visible;171;218</LIST_STRING></TEXT>
614 <TEXT>left_debug_layout<LIST_STRING>closed;closed;closed;closed;closed;visible;38;286</LIST_STRING></TEXT>
615 <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>
616 <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>
617 <TEXT>search_tool__show_options<BOOLEAN>True</BOOLEAN></TEXT>
618 <TEXT>external_command_0<STRING></STRING></TEXT>
619 <TEXT>external_command_1<STRING></STRING></TEXT>
620 <TEXT>external_command_2<STRING></STRING></TEXT>
621 <TEXT>external_command_3<STRING></STRING></TEXT>
622 <TEXT>external_command_4<STRING></STRING></TEXT>
623 <TEXT>external_command_5<STRING></STRING></TEXT>
624 <TEXT>external_command_6<STRING></STRING></TEXT>
625 <TEXT>external_command_7<STRING></STRING></TEXT>
626 <TEXT>external_command_8<STRING></STRING></TEXT>
627 <TEXT>external_command_9<STRING></STRING></TEXT>
628
629 <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>
630 <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>
631 <TEXT>diagram__toolbar_layout<LIST_STRING>Center_diagram__visible;Separator;Create_class__visible;New_links__visible;Delete_item__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_in__visible;Zoom_out__visible;Separator;Inherit_visibility__visible;Supplier_visibility__visible;Labels_visibility__visible;Separator;Diagram_to_png__visible;Link_tool__hidden;Crop_diagram__hidden;Delete_view__hidden;</LIST_STRING></TEXT>
632 </TOPIC>
633 </TOPIC>
634 </EIFFEL_DOCUMENT>

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23