/[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 49548 - (show annotations)
Sat Mar 26 01:36:46 2005 UTC (14 years, 11 months ago) by neilc
File MIME type: text/xml
File size: 73690 byte(s)
New default file

1 <EIFFEL_DOCUMENT>
2
3 <PREF NAME="dialogs.confirm_on_exit" DESCRIPTION="Display confirmation dialog on exit"><BOOLEAN>True</BOOLEAN></PREF>
4 <PREF NAME="dialogs.confirm_finalize" DESCRIPTION="Display confirmation dialog for C compilation on finalize operation"><BOOLEAN>True</BOOLEAN></PREF>
5 <PREF NAME="dialogs.confirm_freeze" DESCRIPTION="Display confirmation dialog for C compilation on freeze operation"><BOOLEAN>True</BOOLEAN></PREF>
6 <PREF NAME="dialogs.confirm_save_before_compile" DESCRIPTION="Display confirmation dialog on compilation when some files have not been saved"><BOOLEAN>True</BOOLEAN></PREF>
7 <PREF NAME="dialogs.confirm_finalize_assertions" DESCRIPTION="Display confirmation dialog for assertions on finalize operation"><BOOLEAN>True</BOOLEAN></PREF>
8 <PREF NAME="dialogs.confirm_clear_breakpoints" DESCRIPTION="Display confirmation dialog on clearing breakpoints"><BOOLEAN>True</BOOLEAN></PREF>
9 <PREF NAME="dialogs.confirm_ignore_all_breakpoints" DESCRIPTION="Display confirmation dialog when starting the application without stopping at breakpoints"><BOOLEAN>True</BOOLEAN></PREF>
10 <PREF NAME="dialogs.confirm_convert_project" DESCRIPTION="Display confirmation dialog before converting an old project"><BOOLEAN>True</BOOLEAN></PREF>
11 <PREF NAME="dialogs.acknowledge_not_loaded" DESCRIPTION="Display dialog that warns that text is being loaded and is not editable or clickable"><BOOLEAN>True</BOOLEAN></PREF>
12 <PREF NAME="dialogs.confirm_finalize_precompile" DESCRIPTION="Display confirmation dialog for finalizing a .NET precompiled library"><BOOLEAN>True</BOOLEAN></PREF>
13 <PREF NAME="dialogs.show_starting_dialog" DESCRIPTION="Display New/Open project dialog at startup"><BOOLEAN>True</BOOLEAN></PREF>
14 <PREF NAME="dialogs.confirm_change_resource_need_restart" DESCRIPTION="Display warning dialog when changing resources that need you to restart EiffelStudio"><BOOLEAN>True</BOOLEAN></PREF>
15 <PREF NAME="dialogs.generate_homonyms" DESCRIPTION="Display dialog that warns that homonym format can take a long time"><BOOLEAN>True</BOOLEAN></PREF>
16 <PREF NAME="dialogs.stop_execution_when_compiling" DESCRIPTION="Display dialog when an application is running and a compilation is launched"><BOOLEAN>True</BOOLEAN></PREF>
17 <PREF NAME="dialogs.confirm_kill" DESCRIPTION="Display dialog before killing a debugged application"><BOOLEAN>True</BOOLEAN></PREF>
18 <PREF NAME="dialogs.already_editing_class" DESCRIPTION="Display dialog when editing the same class in two development windows"><BOOLEAN>True</BOOLEAN></PREF>
19 <PREF NAME="dialogs.executing_command" DESCRIPTION="Display dialog while running an external command"><BOOLEAN>True</BOOLEAN></PREF>
20
21 <PREF NAME="feature_tool.expand_feature_tree" DESCRIPTION="Automatically expand the feature tree"><BOOLEAN>True</BOOLEAN></PREF>
22 <PREF NAME="feature_tool.show_all_callers" DESCRIPTION="Show all callers (as opposed to local callers) in `callers' form"><BOOLEAN>True</BOOLEAN></PREF>
23
24 <PREF NAME="context_tool.diagram_toolbar_layout" DESCRIPTION=""><LIST>Center_diagram__visible;Separator;New_links__visible;Create_class__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;Delete_item__hidden</LIST></PREF>
25 <PREF NAME="context_tool.subcluster_depth" DESCRIPTION="Show subclusters of a cluster down to a level of"><INTEGER>1</INTEGER></PREF>
26 <PREF NAME="context_tool.supercluster_depth" DESCRIPTION="Show superclusters of a cluster up to a level of"><INTEGER>1</INTEGER></PREF>
27 <PREF NAME="context_tool.client_depth" DESCRIPTION="Show clients of a class up to a level of"><INTEGER>0</INTEGER></PREF>
28 <PREF NAME="context_tool.supplier_depth" DESCRIPTION="Show suppliers of a class up to a level of"><INTEGER>0</INTEGER></PREF>
29 <PREF NAME="context_tool.ancestor_depth" DESCRIPTION="Show ancestors of a class up to a level of"><INTEGER>1</INTEGER></PREF>
30 <PREF NAME="context_tool.descendant_depth" DESCRIPTION="Show descendants of a class down to a level of"><INTEGER>1</INTEGER></PREF>
31 <PREF NAME="context_tool.ignore_excluded_class_figures" DESCRIPTION="Show ALL classes in the diagram (ignore the following list)?"><BOOLEAN>False</BOOLEAN></PREF>
32 <PREF NAME="context_tool.excluded_class_figures" DESCRIPTION="Names of classes that should not appear in generated diagrams"><LIST>INTEGER;BOOLEAN;STRING;CHARACTER;REAL;DOUBLE</LIST></PREF>
33
34 <PREF NAME="project_tool.raise_on_error" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
35 <PREF NAME="project_tool.unified_stone" DESCRIPTION="Link the context tool with other components by default?"><BOOLEAN>False</BOOLEAN></PREF>
36 <PREF NAME="project_tool.graphical_output_disabled" DESCRIPTION="Disable graphical output"><BOOLEAN>False</BOOLEAN></PREF>
37
38 <PREF NAME="debug_tool.width" DESCRIPTION="Width of debug tool"><INTEGER>214</INTEGER></PREF>
39 <PREF NAME="debug_tool.height" DESCRIPTION="Height of debug tool"><INTEGER>214</INTEGER></PREF>
40 <PREF NAME="debug_tool.bar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
41 <PREF NAME="debug_tool.last_saved_stack_path" DESCRIPTION=""><STRING>C:\</STRING></PREF>
42 <PREF NAME="debug_tool.interrupt_every_n_instructions" DESCRIPTION=""><INTEGER>1</INTEGER></PREF>
43 <PREF NAME="debug_tool.debug_output_evaluation" DESCRIPTION="Display DEBUG_OUTPUT.debug_output value"><BOOLEAN>True</BOOLEAN></PREF>
44 <PREF NAME="debug_tool.generating_type_evaluation" DESCRIPTION="Display ANY.generating_type value"><BOOLEAN>True</BOOLEAN></PREF>
45 <PREF NAME="debug_tool.enable_optimized_jit_debugging" DESCRIPTION="Enable optimized JIT debugging"><BOOLEAN>False</BOOLEAN></PREF>
46 <PREF NAME="debug_tool.min_slice" DESCRIPTION=""><INTEGER>0</INTEGER></PREF>
47 <PREF NAME="debug_tool.max_slice" DESCRIPTION=""><INTEGER>50</INTEGER></PREF>
48 <PREF NAME="debug_tool.main_splitter_position" DESCRIPTION=""><INTEGER>250</INTEGER></PREF>
49 <PREF NAME="debug_tool.proportion" DESCRIPTION=""><INTEGER>0.5</INTEGER></PREF>
50 <PREF NAME="debug_tool.default_maximum_stack_depth" DESCRIPTION=""><INTEGER>100</INTEGER></PREF>
51 <PREF NAME="debug_tool.default_displayed_string_size" DESCRIPTION=""><INTEGER>50</INTEGER></PREF>
52 <PREF NAME="debug_tool.left_debug_layout" DESCRIPTION=""><LIST>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></PREF>
53 <PREF NAME="debug_tool.right_debug_layout" DESCRIPTION=""><LIST>Editor;minimized;0;0;0;0;Context;visible;0;0;0;171;Objects;visible;0;0;0;218</LIST></PREF>
54
55 <PREF NAME="diagram_tool.bon_class_name_font" DESCRIPTION="Font for class names in BON class figures"><FONT>Arial-r-regular-16-sans</FONT></PREF>
56 <PREF NAME="diagram_tool.bon_class_name_color" DESCRIPTION="Color for class names in BON class figures"><COLOR>0;0;160</COLOR></PREF>
57 <PREF NAME="diagram_tool.bon_class_fill_color" DESCRIPTION="Color for BON class figures"><COLOR>145;255;145</COLOR></PREF>
58 <PREF NAME="diagram_tool.bon_class_uncompiled_fill_color" DESCRIPTION="Color for uncompiled BON class figures"><COLOR>180;180;180</COLOR></PREF>
59 <PREF NAME="diagram_tool.bon_class_generics_font" DESCRIPTION="Font for generics in BON class figures"><FONT>Arial-r-bold-15-sans</FONT></PREF>
60 <PREF NAME="diagram_tool.bon_class_generics_color" DESCRIPTION="Color for generics in BON class figures"><COLOR>0;0;0</COLOR></PREF>
61 <PREF NAME="diagram_tool.bon_client_label_font" DESCRIPTION="Font for feature names on BON client supplier links"><FONT>Arial-r-regular-14-sans</FONT></PREF>
62 <PREF NAME="diagram_tool.bon_client_label_color" DESCRIPTION="Color for feature names on BON client supplier links"><COLOR>0;0;0</COLOR></PREF>
63 <PREF NAME="diagram_tool.bon_client_color" DESCRIPTION="Color for BON client supplier links"><COLOR>0;128;64</COLOR></PREF>
64 <PREF NAME="diagram_tool.bon_client_line_width" DESCRIPTION="Line width for BON client supplier links"><INTEGER>5</INTEGER></PREF>
65 <PREF NAME="diagram_tool.bon_cluster_line_color" DESCRIPTION="Color for BON cluster line"><COLOR>0;128;0</COLOR></PREF>
66 <PREF NAME="diagram_tool.bon_cluster_iconified_fill_color" DESCRIPTION="Iconified BON Cluster fill color"><COLOR>183;255;201</COLOR></PREF>
67 <PREF NAME="diagram_tool.bon_cluster_name_area_color" DESCRIPTION="BON cluster name area fill color"><COLOR>215;255;255</COLOR></PREF>
68 <PREF NAME="diagram_tool.bon_cluster_name_color" DESCRIPTION="BON cluster name color"><COLOR>0;0;0</COLOR></PREF>
69 <PREF NAME="diagram_tool.bon_cluster_name_font" DESCRIPTION="BON cluster name font"><FONT>Arial-r-bold-15-sans</FONT></PREF>
70 <PREF NAME="diagram_tool.bon_inheritance_color" DESCRIPTION="Color for BON inheritance links"><COLOR>0;0;0</COLOR></PREF>
71 <PREF NAME="diagram_tool.bon_inheritance_line_width" DESCRIPTION="Line width for BON inheritance links"><INTEGER>2</INTEGER></PREF>
72 <PREF NAME="diagram_tool.uml_class_name_font" DESCRIPTION="Font for class names in UML class figures"><FONT>Arial-r-regular-16-sans</FONT></PREF>
73 <PREF NAME="diagram_tool.uml_class_deferred_font" DESCRIPTION="Font for names of deferred classes in UML class figures"><FONT>Arial-i-regular-16-sans</FONT></PREF>
74 <PREF NAME="diagram_tool.uml_class_properties_font" DESCRIPTION="Font for class properties in UML class figures"><FONT>Arial-i-regular-14-sans</FONT></PREF>
75 <PREF NAME="diagram_tool.uml_class_properties_color" DESCRIPTION="Color for class properties in UML class figures"><COLOR>127;0;0</COLOR></PREF>
76 <PREF NAME="diagram_tool.uml_class_name_color" DESCRIPTION="Color for class names in UML class figures"><COLOR>0;25;127</COLOR></PREF>
77 <PREF NAME="diagram_tool.uml_class_fill_color" DESCRIPTION="Color for UML class figures"><COLOR>255;255;255</COLOR></PREF>
78 <PREF NAME="diagram_tool.uml_generics_font" DESCRIPTION="Font for generics in UML class figures"><FONT>Arial-r-bold-15-sans</FONT></PREF>
79 <PREF NAME="diagram_tool.uml_generics_color" DESCRIPTION="Color for generics in UML class figures"><COLOR>180;0;0</COLOR></PREF>
80 <PREF NAME="diagram_tool.uml_class_features_font" DESCRIPTION="Font for class features in UML class figures"><FONT>Arial-r-regular-14-sans</FONT></PREF>
81 <PREF NAME="diagram_tool.uml_class_features_color" DESCRIPTION="Color for class features in UML class figures"><COLOR>0;127;0</COLOR></PREF>
82 <PREF NAME="diagram_tool.uml_class_feature_section_font" DESCRIPTION="Font for class feature sections in UML class figures"><FONT>Arial-r-bold-14-sans</FONT></PREF>
83 <PREF NAME="diagram_tool.uml_class_feature_section_color" DESCRIPTION="Color for class feature sections in UML class figures"><COLOR>0;0;0</COLOR></PREF>
84 <PREF NAME="diagram_tool.uml_client_line_width" DESCRIPTION="Line width for UML client supplier links"><INTEGER>1</INTEGER></PREF>
85 <PREF NAME="diagram_tool.uml_client_color" DESCRIPTION="Color for UML client supplier links"><COLOR>0;0;0</COLOR></PREF>
86 <PREF NAME="diagram_tool.uml_client_label_color" DESCRIPTION="Color for feature names on UML client supplier links"><COLOR>0;0;0</COLOR></PREF>
87 <PREF NAME="diagram_tool.uml_client_label_font" DESCRIPTION="Font for feature names on UML client supplier links"><FONT>Arial-r-regular-15-sans</FONT></PREF>
88 <PREF NAME="diagram_tool.uml_cluster_line_color" DESCRIPTION="Color for UML cluster line"><COLOR>0;0;0</COLOR></PREF>
89 <PREF NAME="diagram_tool.uml_cluster_iconified_fill_color" DESCRIPTION="Iconified UML Cluster fill color"><COLOR>255;255;255</COLOR></PREF>
90 <PREF NAME="diagram_tool.uml_cluster_name_area_color" DESCRIPTION="UML cluster name area fill color"><COLOR>255;255;255</COLOR></PREF>
91 <PREF NAME="diagram_tool.uml_cluster_name_color" DESCRIPTION="UML cluster name color"><COLOR>0;0;0</COLOR></PREF>
92 <PREF NAME="diagram_tool.uml_cluster_name_font" DESCRIPTION="UML cluster name font"><FONT>Arial-r-regular-14-sans</FONT></PREF>
93 <PREF NAME="diagram_tool.uml_inheritance_line_width" DESCRIPTION="Line width for UML inheritance links"><INTEGER>1</INTEGER></PREF>
94 <PREF NAME="diagram_tool.uml_inheritance_color" DESCRIPTION="Color for UML inheritance links"><COLOR>0;0;0</COLOR></PREF>
95 <PREF NAME="diagram_tool.autoscroll_speed" DESCRIPTION="Color for UML inheritance links"><INTEGER>50</INTEGER></PREF>
96
97 <PREF NAME="debugger.project_toolbar_layout" DESCRIPTION=""><LIST>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></PREF>
98 <PREF NAME="debugger.critical_stack_depth" DESCRIPTION=""><INTEGER>1000</INTEGER></PREF>
99 <PREF NAME="debugger.show_text_in_project_toolbar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
100 <PREF NAME="debugger.show_all_text_in_project_toolbar" DESCRIPTION=""><BOOLEAN>False</BOOLEAN></PREF>
101 <PREF NAME="debugger.display_dotnet_cmd" DESCRIPTION=""><BOOLEAN>False</BOOLEAN></PREF>
102 <PREF NAME="debugger.default_expanded_view_size" DESCRIPTION="Expanded view: default display size"><INTEGER>500</INTEGER></PREF>
103 <PREF NAME="debugger.stack_element_width" DESCRIPTION=""><INTEGER>1000</INTEGER></PREF>
104 <PREF NAME="debugger.default_maximum_stack_depth" DESCRIPTION=""><INTEGER>100</INTEGER></PREF>
105
106 <PREF NAME="development_window.width" DESCRIPTION="Width of development window"><INTEGER>800</INTEGER></PREF>
107 <PREF NAME="development_window.height" DESCRIPTION="Height of development window"><INTEGER>600</INTEGER></PREF>
108 <PREF NAME="development_window.x_position" DESCRIPTION="Screen x position of development window"><INTEGER>50</INTEGER></PREF>
109 <PREF NAME="development_window.y_position" DESCRIPTION="Screen y position of development window"><INTEGER>50</INTEGER></PREF>
110 <PREF NAME="development_window.is_maximized" DESCRIPTION=""><BOOLEAN>False</BOOLEAN></PREF>
111 <PREF NAME="development_window.left_panel_use_explorer_style" DESCRIPTION="Show only one tool (Features, Clusters, Search, Windows) at a time. (Requires restart)"><BOOLEAN>False</BOOLEAN></PREF>
112 <PREF NAME="development_window.window_left_panel_width" DESCRIPTION="Width of left panel"><INTEGER>100</INTEGER></PREF>
113 <PREF NAME="development_window.left_panel_layout" DESCRIPTION=""><LIST>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></PREF>
114 <PREF NAME="development_window.right_panel_layout" DESCRIPTION=""><LIST>Editor;visible;0;0;0;190;Context;visible;0;0;0;178</LIST></PREF>
115 <PREF NAME="development_window.show_general_toolbar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
116 <PREF NAME="development_window.show_text_in_general_toolbar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
117 <PREF NAME="development_window.show_all_text_in_general_toolbar" DESCRIPTION=""><BOOLEAN>False</BOOLEAN></PREF>
118 <PREF NAME="development_window.show_address_toolbar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
119 <PREF NAME="development_window.show_project_toolbar" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
120 <PREF NAME="development_window.search_tool_show_options" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
121 <PREF NAME="development_window.general_toolbar_layout" DESCRIPTION=""><LIST>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></PREF>
122 <PREF NAME="development_window.maximum_history_size" DESCRIPTION="Maximum number of items displayed in the history combo boxes"><INTEGER>10</INTEGER></PREF>
123 <PREF NAME="development_window.remember_completion_list_size" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
124 <PREF NAME="development_window.completion_list_height" DESCRIPTION=""><INTEGER>320</INTEGER></PREF>
125 <PREF NAME="development_window.completion_list_width" DESCRIPTION=""><INTEGER>240</INTEGER></PREF>
126
127 <PREF NAME="flat_short.feature_clause_order" DESCRIPTION="Order used to sort feature clauses in formatted texts"><LIST>Initialization;Access;Measurement;Comparison;Status report;Status setting;Cursor movement;Element change;Removal;Resizing;Transformation;Conversion;Duplication;Miscellaneous;Basic operations;Obsolete;Inapplicable;Implementation;*</LIST></PREF>
128 <PREF NAME="flat_short.excluded_indexing_items" DESCRIPTION="Indexing items that need not be included in formatted texts"><LIST>revision;date;status</LIST></PREF>
129
130 <PREF NAME="formatter.formatters_history_size" DESCRIPTION=""><INTEGER>60</INTEGER></PREF>
131 <PREF NAME="formatter.default_class_formatter_index" DESCRIPTION="Class format that is selected by default"><INTEGER>5</INTEGER></PREF>
132 <PREF NAME="formatter.default_feature_formatter_index" DESCRIPTION="Feature format that is selected by default"><INTEGER>2</INTEGER></PREF>
133 <PREF NAME="formatter.show_syntactical_suppliers" DESCRIPTION="Show syntactical suppliers (as opposed to actual suppliers) in `suppliers' form"><BOOLEAN>True</BOOLEAN></PREF>
134
135 <PREF NAME="recent_projects.last_opened_projects" DESCRIPTION="List of recently opened projects"><LIST></LIST></PREF>
136 <PREF NAME="recent_projects.keep_n_projects" DESCRIPTION="Number of recent projects to keep in the list"><INTEGER>10</INTEGER></PREF>
137
138 <PREF NAME="editor.left_margin_width" DESCRIPTION="Width of left margin in editor. Note: this is not the breakpoint margin, but the whitespace to the left of the editor"><INTEGER>8</INTEGER></PREF>
139 <PREF NAME="editor.margin_background_color" DESCRIPTION="Background color of line number margin"><COLOR>212;208;200</COLOR></PREF>
140 <PREF NAME="editor.margin_separator_color" DESCRIPTION="Color of separator between line number margin and editor"><COLOR>192;192;192</COLOR></PREF>
141 <PREF NAME="editor.line_number_text_color" DESCRIPTION="Color of line number text"><COLOR>0;0;0</COLOR></PREF>
142 <PREF NAME="editor.use_tab_for_indentation" DESCRIPTION="Should tab character be used for auto-indentation?"><BOOLEAN>True</BOOLEAN></PREF>
143 <PREF NAME="editor.mouse_wheel_scroll_full_page" DESCRIPTION="Mouse wheel scroll full page"><BOOLEAN>False</BOOLEAN></PREF>
144 <PREF NAME="editor.mouse_wheel_scroll_size" DESCRIPTION="Mouse wheel scroll size"><INTEGER>3</INTEGER></PREF>
145 <PREF NAME="editor.remove_trailing_white_space" DESCRIPTION="Automatically remove trailing white space from lines?"><BOOLEAN>True</BOOLEAN></PREF>
146 <PREF NAME="editor.blinking_cursor" DESCRIPTION="Does text cursor blink?"><BOOLEAN>True</BOOLEAN></PREF>
147 <PREF NAME="editor.automatic_update" DESCRIPTION="Automatic update when the file has not been modified"><BOOLEAN>True</BOOLEAN></PREF>
148 <PREF NAME="editor.editor_font" DESCRIPTION="All-purpose editor font. (Requires restart)"><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
149 <PREF NAME="editor.keyword_font" DESCRIPTION="Keyword editor font"><FONT>Courier New-r-bold-8-typewriter</FONT></PREF>
150 <PREF NAME="editor.header_font" DESCRIPTION="Editor header font. (Requires restart)"><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
151 <PREF NAME="editor.tab_step" DESCRIPTION="Tabulation size in characters"><INTEGER>4</INTEGER></PREF>
152 <PREF NAME="editor.normal_text_color" DESCRIPTION=""><COLOR>0;0;0</COLOR></PREF>
153 <PREF NAME="editor.normal_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
154 <PREF NAME="editor.selection_text_color" DESCRIPTION=""><COLOR>255;255;128</COLOR></PREF>
155 <PREF NAME="editor.selection_background_color" DESCRIPTION=""><COLOR>0;0;128</COLOR></PREF>
156 <PREF NAME="editor.string_text_color" DESCRIPTION=""><COLOR>0;0;0</COLOR></PREF>
157 <PREF NAME="editor.string_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
158 <PREF NAME="editor.keyword_text_color" DESCRIPTION=""><COLOR>0;0;128</COLOR></PREF>
159 <PREF NAME="editor.keyword_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
160 <PREF NAME="editor.spaces_text_color" DESCRIPTION=""><COLOR>128;128;128</COLOR></PREF>
161 <PREF NAME="editor.spaces_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
162 <PREF NAME="editor.comments_text_color" DESCRIPTION=""><COLOR>128;0;0</COLOR></PREF>
163 <PREF NAME="editor.comments_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
164 <PREF NAME="editor.operator_text_color" DESCRIPTION=""><COLOR>255;0;0</COLOR></PREF>
165 <PREF NAME="editor.operator_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
166 <PREF NAME="editor.number_text_color" DESCRIPTION=""><COLOR>128;0;255</COLOR></PREF>
167 <PREF NAME="editor.number_background_color" DESCRIPTION=""><COLOR>255;255;255</COLOR></PREF>
168 <PREF NAME="editor.smart_identation" DESCRIPTION="Should the editor auto-indent?"><BOOLEAN>True</BOOLEAN></PREF>
169
170 <PREF NAME="editor.eiffel.normal_text_color" DESCRIPTION="Foreground color for normal text"><COLOR>0;0;0</COLOR></PREF>
171 <PREF NAME="editor.eiffel.normal_background_color" DESCRIPTION="Background color for normal text"><COLOR>255;255;255</COLOR></PREF>
172 <PREF NAME="editor.eiffel.selection_text_color" DESCRIPTION="Foreground color for selected text"><COLOR>255;255;128</COLOR></PREF>
173 <PREF NAME="editor.eiffel.selection_background_color" DESCRIPTION="Background color for selected text"><COLOR>0;0;128</COLOR></PREF>
174 <PREF NAME="editor.eiffel.string_text_color" DESCRIPTION="Foreground color for manifest strings"><COLOR>0;0;0</COLOR></PREF>
175 <PREF NAME="editor.eiffel.string_background_color" DESCRIPTION="Background color for manifest strings"><COLOR>255;255;255</COLOR></PREF>
176 <PREF NAME="editor.eiffel.keyword_text_color" DESCRIPTION="Foreground color for keywords"><COLOR>0;0;128</COLOR></PREF>
177 <PREF NAME="editor.eiffel.keyword_background_color" DESCRIPTION="Background color for keywords"><COLOR>255;255;255</COLOR></PREF>
178 <PREF NAME="editor.eiffel.spaces_text_color" DESCRIPTION="Foreground color for spaces"><COLOR>0;0;0</COLOR></PREF>
179 <PREF NAME="editor.eiffel.spaces_background_color" DESCRIPTION="Background color for spaces"><COLOR>255;255;255</COLOR></PREF>
180 <PREF NAME="editor.eiffel.comments_text_color" DESCRIPTION="Foreground color for comments"><COLOR>128;0;0</COLOR></PREF>
181 <PREF NAME="editor.eiffel.comments_background_color" DESCRIPTION="Background color for comments"><COLOR>255;255;255</COLOR></PREF>
182 <PREF NAME="editor.eiffel.number_text_color" DESCRIPTION="Foreground color for numbers"><COLOR>0;0;0</COLOR></PREF>
183 <PREF NAME="editor.eiffel.number_background_color" DESCRIPTION="Background color for numbers"><COLOR>255;255;255</COLOR></PREF>
184 <PREF NAME="editor.eiffel.operator_text_color" DESCRIPTION="Foreground color for operators"><COLOR>0;0;0</COLOR></PREF>
185 <PREF NAME="editor.eiffel.operator_background_color" DESCRIPTION="Background color for operators"><COLOR>255;255;255</COLOR></PREF>
186 <PREF NAME="editor.eiffel.breakpoint_background_color" DESCRIPTION="Color for breakable marks and breakpoints"><COLOR>212;208;200</COLOR></PREF>
187 <PREF NAME="editor.eiffel.assertion_tag_text_color" DESCRIPTION="Foreground color for assertion tags"><COLOR>64;0;0</COLOR></PREF>
188 <PREF NAME="editor.eiffel.assertion_tag_background_color" DESCRIPTION="Background color for assertion tags"><COLOR>255;255;255</COLOR></PREF>
189 <PREF NAME="editor.eiffel.indexing_tag_text_color" DESCRIPTION="Foreground color for indexing tags"><COLOR>64;0;0</COLOR></PREF>
190 <PREF NAME="editor.eiffel.indexing_tag_background_color" DESCRIPTION="Background color for indexing tags"><COLOR>255;255;255</COLOR></PREF>
191 <PREF NAME="editor.eiffel.reserved_text_color" DESCRIPTION="Foreground color for reserved words"><COLOR>64;0;0</COLOR></PREF>
192 <PREF NAME="editor.eiffel.reserved_background_color" DESCRIPTION="Background color for reserved words"><COLOR>255;255;255</COLOR></PREF>
193 <PREF NAME="editor.eiffel.generic_text_color" DESCRIPTION="Foreground color for generics"><COLOR>255;0;0</COLOR></PREF>
194 <PREF NAME="editor.eiffel.generic_background_color" DESCRIPTION="Background color for generics"><COLOR>255;255;255</COLOR></PREF>
195 <PREF NAME="editor.eiffel.local_text_color" DESCRIPTION="Foreground color for locals"><COLOR>64;0;0</COLOR></PREF>
196 <PREF NAME="editor.eiffel.local_background_color" DESCRIPTION="Background color for locals"><COLOR>255;255;255</COLOR></PREF>
197 <PREF NAME="editor.eiffel.class_text_color" DESCRIPTION="Foreground color for classes"><COLOR>0;0;255</COLOR></PREF>
198 <PREF NAME="editor.eiffel.class_background_color" DESCRIPTION="Background color for classes"><COLOR>255;255;255</COLOR></PREF>
199 <PREF NAME="editor.eiffel.feature_text_color" DESCRIPTION="Foreground color for features"><COLOR>0;128;0</COLOR></PREF>
200 <PREF NAME="editor.eiffel.feature_background_color" DESCRIPTION="Background color for features"><COLOR>255;255;255</COLOR></PREF>
201 <PREF NAME="editor.eiffel.cluster_text_color" DESCRIPTION="Foreground color for clusters"><COLOR>128;0;0</COLOR></PREF>
202 <PREF NAME="editor.eiffel.cluster_background_color" DESCRIPTION="Background color for clusters"><COLOR>255;255;255</COLOR></PREF>
203 <PREF NAME="editor.eiffel.error_text_color" DESCRIPTION="Foreground color for errors"><COLOR>255;0;0</COLOR></PREF>
204 <PREF NAME="editor.eiffel.error_background_color" DESCRIPTION="Background color for errors"><COLOR>255;255;255</COLOR></PREF>
205 <PREF NAME="editor.eiffel.object_text_color" DESCRIPTION="Foreground color for objects"><COLOR>0;0;255</COLOR></PREF>
206 <PREF NAME="editor.eiffel.object_background_color" DESCRIPTION="Background color for objects"><COLOR>255;255;255</COLOR></PREF>
207 <PREF NAME="editor.eiffel.once_and_constant_in_upper" DESCRIPTION="Complete once and constants with a first upper case character"><BOOLEAN>False</BOOLEAN></PREF>
208 <PREF NAME="editor.eiffel.underscore_is_separator" DESCRIPTION="Underscore '_' is a word separator"><BOOLEAN>False</BOOLEAN></PREF>
209 <PREF NAME="editor.eiffel.autocomplete_brackets_and_parenthesis" DESCRIPTION="Brackets and parentheses are closed automatically"><BOOLEAN>False</BOOLEAN></PREF>
210 <PREF NAME="editor.eiffel.autocomplete_quotes" DESCRIPTION="Quotes are closed automatically"><BOOLEAN>False</BOOLEAN></PREF>
211 <PREF NAME="editor.eiffel.show_any_features" DESCRIPTION="ANY features appear in the feature call complete window"><BOOLEAN>False</BOOLEAN></PREF>
212 <PREF NAME="editor.eiffel.auto_auto_complete" DESCRIPTION="Auto complete appears automatically"><BOOLEAN>True</BOOLEAN></PREF>
213 <PREF NAME="editor.eiffel.filter_completion_list" DESCRIPTION="Completion list entries are filtered based on matches"><BOOLEAN>True</BOOLEAN></PREF>
214 <PREF NAME="editor.eiffel.show_completion_signature" DESCRIPTION="Completion list shows feature signatures"><BOOLEAN>True</BOOLEAN></PREF>
215 <PREF NAME="editor.eiffel.show_completion_type" DESCRIPTION="Completion list shows return type"><BOOLEAN>True</BOOLEAN></PREF>
216 <PREF NAME="editor.eiffel.syntax_complete_enabled" DESCRIPTION="Enable syntax autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
217 <PREF NAME="editor.eiffel.quadruple_click_enabled" DESCRIPTION="Quadruple click selects all"><BOOLEAN>True</BOOLEAN></PREF>
218 <PREF NAME="editor.eiffel.customized_string_1" DESCRIPTION=""><STRING></STRING></PREF>
219 <PREF NAME="editor.eiffel.customized_string_2" DESCRIPTION=""><STRING></STRING></PREF>
220 <PREF NAME="editor.eiffel.customized_string_3" DESCRIPTION=""><STRING></STRING></PREF>
221
222
223 <PREF NAME="editor.eiffel.autocomplete.autocomplete_indexing" DESCRIPTION="Autocomplete indexing"><BOOLEAN>True</BOOLEAN></PREF>
224 <PREF NAME="editor.eiffel.autocomplete.use_default_indexing" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
225 <PREF NAME="editor.eiffel.autocomplete.custom_indexing_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
226 <PREF NAME="editor.eiffel.autocomplete.custom_indexing_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
227 <PREF NAME="editor.eiffel.autocomplete.custom_indexing_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
228 <PREF NAME="editor.eiffel.autocomplete.custom_indexing_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
229
230 <PREF NAME="editor.eiffel.autocomplete.autocomplete_class" DESCRIPTION="Autocomplete class"><BOOLEAN>True</BOOLEAN></PREF>
231 <PREF NAME="editor.eiffel.autocomplete.use_default_class" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
232 <PREF NAME="editor.eiffel.autocomplete.custom_class_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
233 <PREF NAME="editor.eiffel.autocomplete.custom_class_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
234 <PREF NAME="editor.eiffel.autocomplete.custom_class_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
235 <PREF NAME="editor.eiffel.autocomplete.custom_class_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
236
237 <PREF NAME="editor.eiffel.autocomplete.autocomplete_inherit" DESCRIPTION="Autocomplete inherit"><BOOLEAN>True</BOOLEAN></PREF>
238 <PREF NAME="editor.eiffel.autocomplete.use_default_inherit" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
239 <PREF NAME="editor.eiffel.autocomplete.custom_inherit_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
240 <PREF NAME="editor.eiffel.autocomplete.custom_inherit_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
241 <PREF NAME="editor.eiffel.autocomplete.custom_inherit_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
242 <PREF NAME="editor.eiffel.autocomplete.custom_inherit_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
243
244 <PREF NAME="editor.eiffel.autocomplete.autocomplete_creation" DESCRIPTION="Autocomplete creation"><BOOLEAN>True</BOOLEAN></PREF>
245 <PREF NAME="editor.eiffel.autocomplete.use_default_creation" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
246 <PREF NAME="editor.eiffel.autocomplete.custom_creation_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
247 <PREF NAME="editor.eiffel.autocomplete.custom_creation_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
248 <PREF NAME="editor.eiffel.autocomplete.custom_creation_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
249 <PREF NAME="editor.eiffel.autocomplete.custom_creation_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
250
251 <PREF NAME="editor.eiffel.autocomplete.autocomplete_feature" DESCRIPTION="Autocomplete feature"><BOOLEAN>True</BOOLEAN></PREF>
252 <PREF NAME="editor.eiffel.autocomplete.use_default_feature" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
253 <PREF NAME="editor.eiffel.autocomplete.custom_feature_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
254 <PREF NAME="editor.eiffel.autocomplete.custom_feature_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
255 <PREF NAME="editor.eiffel.autocomplete.custom_feature_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
256 <PREF NAME="editor.eiffel.autocomplete.custom_feature_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
257
258 <PREF NAME="editor.eiffel.autocomplete.autocomplete_is" DESCRIPTION="Autocomplete is"><BOOLEAN>True</BOOLEAN></PREF>
259 <PREF NAME="editor.eiffel.autocomplete.use_default_is" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
260 <PREF NAME="editor.eiffel.autocomplete.custom_is_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
261 <PREF NAME="editor.eiffel.autocomplete.custom_is_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T%T-- $cursor$%N$indent$%T</STRING></PREF>
262 <PREF NAME="editor.eiffel.autocomplete.custom_is_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
263 <PREF NAME="editor.eiffel.autocomplete.custom_is_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
264
265 <PREF NAME="editor.eiffel.autocomplete.autocomplete_require" DESCRIPTION="Autocomplete require"><BOOLEAN>True</BOOLEAN></PREF>
266 <PREF NAME="editor.eiffel.autocomplete.use_default_require" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
267 <PREF NAME="editor.eiffel.autocomplete.custom_require_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
268 <PREF NAME="editor.eiffel.autocomplete.custom_require_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
269 <PREF NAME="editor.eiffel.autocomplete.custom_require_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
270 <PREF NAME="editor.eiffel.autocomplete.custom_require_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
271
272 <PREF NAME="editor.eiffel.autocomplete.autocomplete_require_else" DESCRIPTION="Autocomplete require else"><BOOLEAN>True</BOOLEAN></PREF>
273 <PREF NAME="editor.eiffel.autocomplete.use_default_require_else" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
274 <PREF NAME="editor.eiffel.autocomplete.custom_require_else_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
275 <PREF NAME="editor.eiffel.autocomplete.custom_require_else_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
276 <PREF NAME="editor.eiffel.autocomplete.custom_require_else_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
277 <PREF NAME="editor.eiffel.autocomplete.custom_require_else_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
278
279 <PREF NAME="editor.eiffel.autocomplete.autocomplete_local" DESCRIPTION="Autocomplete local"><BOOLEAN>True</BOOLEAN></PREF>
280 <PREF NAME="editor.eiffel.autocomplete.use_default_local" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
281 <PREF NAME="editor.eiffel.autocomplete.custom_local_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
282 <PREF NAME="editor.eiffel.autocomplete.custom_local_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
283 <PREF NAME="editor.eiffel.autocomplete.custom_local_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
284 <PREF NAME="editor.eiffel.autocomplete.custom_local_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
285
286 <PREF NAME="editor.eiffel.autocomplete.autocomplete_do" DESCRIPTION="Autocomplete do"><BOOLEAN>True</BOOLEAN></PREF>
287 <PREF NAME="editor.eiffel.autocomplete.use_default_do" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
288 <PREF NAME="editor.eiffel.autocomplete.custom_do_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
289 <PREF NAME="editor.eiffel.autocomplete.custom_do_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
290 <PREF NAME="editor.eiffel.autocomplete.custom_do_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
291 <PREF NAME="editor.eiffel.autocomplete.custom_do_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
292
293 <PREF NAME="editor.eiffel.autocomplete.autocomplete_once" DESCRIPTION="Autocomplete once"><BOOLEAN>True</BOOLEAN></PREF>
294 <PREF NAME="editor.eiffel.autocomplete.use_default_once" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
295 <PREF NAME="editor.eiffel.autocomplete.custom_once_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
296 <PREF NAME="editor.eiffel.autocomplete.custom_once_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
297 <PREF NAME="editor.eiffel.autocomplete.custom_once_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
298 <PREF NAME="editor.eiffel.autocomplete.custom_once_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
299
300 <PREF NAME="editor.eiffel.autocomplete.autocomplete_deferred" DESCRIPTION="Autocomplete deferred"><BOOLEAN>True</BOOLEAN></PREF>
301 <PREF NAME="editor.eiffel.autocomplete.use_default_deferred" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
302 <PREF NAME="editor.eiffel.autocomplete.custom_deferred_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> end$cursor$</STRING></PREF>
303 <PREF NAME="editor.eiffel.autocomplete.custom_deferred_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$end$cursor$</STRING></PREF>
304 <PREF NAME="editor.eiffel.autocomplete.custom_deferred_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
305 <PREF NAME="editor.eiffel.autocomplete.custom_deferred_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
306
307 <PREF NAME="editor.eiffel.autocomplete.autocomplete_external" DESCRIPTION="Autocomplete external"><BOOLEAN>True</BOOLEAN></PREF>
308 <PREF NAME="editor.eiffel.autocomplete.use_default_external" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
309 <PREF NAME="editor.eiffel.autocomplete.custom_external_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$" end</STRING></PREF>
310 <PREF NAME="editor.eiffel.autocomplete.custom_external_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"%N$indent$end</STRING></PREF>
311 <PREF NAME="editor.eiffel.autocomplete.custom_external_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
312 <PREF NAME="editor.eiffel.autocomplete.custom_external_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
313
314 <PREF NAME="editor.eiffel.autocomplete.autocomplete_rescue" DESCRIPTION="Autocomplete rescue"><BOOLEAN>True</BOOLEAN></PREF>
315 <PREF NAME="editor.eiffel.autocomplete.use_default_rescue" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
316 <PREF NAME="editor.eiffel.autocomplete.custom_rescue_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
317 <PREF NAME="editor.eiffel.autocomplete.custom_rescue_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
318 <PREF NAME="editor.eiffel.autocomplete.custom_rescue_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
319 <PREF NAME="editor.eiffel.autocomplete.custom_rescue_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
320
321 <PREF NAME="editor.eiffel.autocomplete.autocomplete_ensure" DESCRIPTION="Autocomplete ensure"><BOOLEAN>True</BOOLEAN></PREF>
322 <PREF NAME="editor.eiffel.autocomplete.use_default_ensure" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
323 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
324 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
325 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
326 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
327
328 <PREF NAME="editor.eiffel.autocomplete.autocomplete_ensure_then" DESCRIPTION="Autocomplete ensure then"><BOOLEAN>True</BOOLEAN></PREF>
329 <PREF NAME="editor.eiffel.autocomplete.use_default_ensure_then" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
330 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_then_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
331 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_then_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
332 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_then_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
333 <PREF NAME="editor.eiffel.autocomplete.custom_ensure_then_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
334
335 <PREF NAME="editor.eiffel.autocomplete.autocomplete_alias" DESCRIPTION="Autocomplete alias"><BOOLEAN>True</BOOLEAN></PREF>
336 <PREF NAME="editor.eiffel.autocomplete.use_default_alias" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
337 <PREF NAME="editor.eiffel.autocomplete.custom_alias_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
338 <PREF NAME="editor.eiffel.autocomplete.custom_alias_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"</STRING></PREF>
339 <PREF NAME="editor.eiffel.autocomplete.custom_alias_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
340 <PREF NAME="editor.eiffel.autocomplete.custom_alias_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
341
342 <PREF NAME="editor.eiffel.autocomplete.autocomplete_if" DESCRIPTION="Autocomplete if"><BOOLEAN>True</BOOLEAN></PREF>
343 <PREF NAME="editor.eiffel.autocomplete.use_default_if" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
344 <PREF NAME="editor.eiffel.autocomplete.custom_if_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T%N$indent$end</STRING></PREF>
345 <PREF NAME="editor.eiffel.autocomplete.custom_if_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T%N$indent$end</STRING></PREF>
346 <PREF NAME="editor.eiffel.autocomplete.custom_if_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
347 <PREF NAME="editor.eiffel.autocomplete.custom_if_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
348
349 <PREF NAME="editor.eiffel.autocomplete.autocomplete_then" DESCRIPTION="Autocomplete then"><BOOLEAN>True</BOOLEAN></PREF>
350 <PREF NAME="editor.eiffel.autocomplete.use_default_then" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
351 <PREF NAME="editor.eiffel.autocomplete.custom_then_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
352 <PREF NAME="editor.eiffel.autocomplete.custom_then_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
353 <PREF NAME="editor.eiffel.autocomplete.custom_then_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
354 <PREF NAME="editor.eiffel.autocomplete.custom_then_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
355
356 <PREF NAME="editor.eiffel.autocomplete.autocomplete_elseif" DESCRIPTION="Autocomplete else if"><BOOLEAN>True</BOOLEAN></PREF>
357 <PREF NAME="editor.eiffel.autocomplete.use_default_elseif" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
358 <PREF NAME="editor.eiffel.autocomplete.custom_elseif_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T</STRING></PREF>
359 <PREF NAME="editor.eiffel.autocomplete.custom_elseif_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></PREF>
360 <PREF NAME="editor.eiffel.autocomplete.custom_elseif_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
361 <PREF NAME="editor.eiffel.autocomplete.custom_elseif_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
362
363 <PREF NAME="editor.eiffel.autocomplete.autocomplete_else" DESCRIPTION="Autocomplete else"><BOOLEAN>True</BOOLEAN></PREF>
364 <PREF NAME="editor.eiffel.autocomplete.use_default_else" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
365 <PREF NAME="editor.eiffel.autocomplete.custom_else_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
366 <PREF NAME="editor.eiffel.autocomplete.custom_else_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
367 <PREF NAME="editor.eiffel.autocomplete.custom_else_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
368 <PREF NAME="editor.eiffel.autocomplete.custom_else_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
369
370 <PREF NAME="editor.eiffel.autocomplete.autocomplete_inspect" DESCRIPTION="Autocomplete inspect"><BOOLEAN>True</BOOLEAN></PREF>
371 <PREF NAME="editor.eiffel.autocomplete.use_default_inspect" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
372 <PREF NAME="editor.eiffel.autocomplete.custom_inspect_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$%N$indent$when then%N$indent$%T%N$indent$else%N$indent$%T%N$indent$end</STRING></PREF>
373 <PREF NAME="editor.eiffel.autocomplete.custom_inspect_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$when then%N$indent$%T%N$indent$else%N$indent$%T%N$indent$end</STRING></PREF>
374 <PREF NAME="editor.eiffel.autocomplete.custom_inspect_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
375 <PREF NAME="editor.eiffel.autocomplete.custom_inspect_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
376
377 <PREF NAME="editor.eiffel.autocomplete.autocomplete_when" DESCRIPTION="Autocomplete when"><BOOLEAN>True</BOOLEAN></PREF>
378 <PREF NAME="editor.eiffel.autocomplete.use_default_when" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
379 <PREF NAME="editor.eiffel.autocomplete.custom_when_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T</STRING></PREF>
380 <PREF NAME="editor.eiffel.autocomplete.custom_when_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></PREF>
381 <PREF NAME="editor.eiffel.autocomplete.custom_when_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
382 <PREF NAME="editor.eiffel.autocomplete.custom_when_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
383
384 <PREF NAME="editor.eiffel.autocomplete.autocomplete_from" DESCRIPTION="Autocomplete from"><BOOLEAN>True</BOOLEAN></PREF>
385 <PREF NAME="editor.eiffel.autocomplete.use_default_from" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
386 <PREF NAME="editor.eiffel.autocomplete.custom_from_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$%N$indent$until%N$indent$loop%N$indent$end</STRING></PREF>
387 <PREF NAME="editor.eiffel.autocomplete.custom_from_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$until%N$indent$%T%N$indent$loop%N$indent$%T%N$indent$end</STRING></PREF>
388 <PREF NAME="editor.eiffel.autocomplete.custom_from_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
389 <PREF NAME="editor.eiffel.autocomplete.custom_from_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
390
391 <PREF NAME="editor.eiffel.autocomplete.autocomplete_variant" DESCRIPTION="Autocomplete variant"><BOOLEAN>True</BOOLEAN></PREF>
392 <PREF NAME="editor.eiffel.autocomplete.use_default_variant" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
393 <PREF NAME="editor.eiffel.autocomplete.custom_variant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
394 <PREF NAME="editor.eiffel.autocomplete.custom_variant_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
395 <PREF NAME="editor.eiffel.autocomplete.custom_variant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
396 <PREF NAME="editor.eiffel.autocomplete.custom_variant_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
397
398 <PREF NAME="editor.eiffel.autocomplete.autocomplete_until" DESCRIPTION="Autocomplete then"><BOOLEAN>True</BOOLEAN></PREF>
399 <PREF NAME="editor.eiffel.autocomplete.use_default_until" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
400 <PREF NAME="editor.eiffel.autocomplete.custom_until_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
401 <PREF NAME="editor.eiffel.autocomplete.custom_until_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
402 <PREF NAME="editor.eiffel.autocomplete.custom_until_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
403 <PREF NAME="editor.eiffel.autocomplete.custom_until_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
404
405 <PREF NAME="editor.eiffel.autocomplete.autocomplete_loop" DESCRIPTION="Autocomplete then"><BOOLEAN>True</BOOLEAN></PREF>
406 <PREF NAME="editor.eiffel.autocomplete.use_default_loop" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
407 <PREF NAME="editor.eiffel.autocomplete.custom_loop_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
408 <PREF NAME="editor.eiffel.autocomplete.custom_loop_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
409 <PREF NAME="editor.eiffel.autocomplete.custom_loop_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
410 <PREF NAME="editor.eiffel.autocomplete.custom_loop_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
411
412 <PREF NAME="editor.eiffel.autocomplete.autocomplete_debug" DESCRIPTION="Autocomplete debug"><BOOLEAN>True</BOOLEAN></PREF>
413 <PREF NAME="editor.eiffel.autocomplete.use_default_debug" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
414 <PREF NAME="editor.eiffel.autocomplete.custom_debug_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
415 <PREF NAME="editor.eiffel.autocomplete.custom_debug_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
416 <PREF NAME="editor.eiffel.autocomplete.custom_debug_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
417 <PREF NAME="editor.eiffel.autocomplete.custom_debug_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
418
419 <PREF NAME="editor.eiffel.autocomplete.autocomplete_check" DESCRIPTION="Autocomplete check"><BOOLEAN>True</BOOLEAN></PREF>
420 <PREF NAME="editor.eiffel.autocomplete.use_default_check" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
421 <PREF NAME="editor.eiffel.autocomplete.custom_check_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
422 <PREF NAME="editor.eiffel.autocomplete.custom_check_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
423 <PREF NAME="editor.eiffel.autocomplete.custom_check_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
424 <PREF NAME="editor.eiffel.autocomplete.custom_check_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
425
426 <PREF NAME="editor.eiffel.autocomplete.autocomplete_rename" DESCRIPTION="Autocomplete rename"><BOOLEAN>True</BOOLEAN></PREF>
427 <PREF NAME="editor.eiffel.autocomplete.use_default_rename" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
428 <PREF NAME="editor.eiffel.autocomplete.custom_rename_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
429 <PREF NAME="editor.eiffel.autocomplete.custom_rename_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
430 <PREF NAME="editor.eiffel.autocomplete.custom_rename_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
431 <PREF NAME="editor.eiffel.autocomplete.custom_rename_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
432
433 <PREF NAME="editor.eiffel.autocomplete.autocomplete_redefine" DESCRIPTION="Autocomplete redefine"><BOOLEAN>True</BOOLEAN></PREF>
434 <PREF NAME="editor.eiffel.autocomplete.use_default_redefine" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
435 <PREF NAME="editor.eiffel.autocomplete.custom_redefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
436 <PREF NAME="editor.eiffel.autocomplete.custom_redefine_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
437 <PREF NAME="editor.eiffel.autocomplete.custom_redefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
438 <PREF NAME="editor.eiffel.autocomplete.custom_redefine_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
439
440 <PREF NAME="editor.eiffel.autocomplete.autocomplete_undefine" DESCRIPTION="Autocomplete undefine"><BOOLEAN>True</BOOLEAN></PREF>
441 <PREF NAME="editor.eiffel.autocomplete.use_default_undefine" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
442 <PREF NAME="editor.eiffel.autocomplete.custom_undefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
443 <PREF NAME="editor.eiffel.autocomplete.custom_undefine_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
444 <PREF NAME="editor.eiffel.autocomplete.custom_undefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
445 <PREF NAME="editor.eiffel.autocomplete.custom_undefine_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
446
447 <PREF NAME="editor.eiffel.autocomplete.autocomplete_select" DESCRIPTION="Autocomplete select"><BOOLEAN>True</BOOLEAN></PREF>
448 <PREF NAME="editor.eiffel.autocomplete.use_default_select" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
449 <PREF NAME="editor.eiffel.autocomplete.custom_select_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
450 <PREF NAME="editor.eiffel.autocomplete.custom_select_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
451 <PREF NAME="editor.eiffel.autocomplete.custom_select_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
452 <PREF NAME="editor.eiffel.autocomplete.custom_select_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
453
454 <PREF NAME="editor.eiffel.autocomplete.autocomplete_export" DESCRIPTION="Autocomplete export"><BOOLEAN>True</BOOLEAN></PREF>
455 <PREF NAME="editor.eiffel.autocomplete.use_default_export" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
456 <PREF NAME="editor.eiffel.autocomplete.custom_export_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
457 <PREF NAME="editor.eiffel.autocomplete.custom_export_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
458 <PREF NAME="editor.eiffel.autocomplete.custom_export_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
459 <PREF NAME="editor.eiffel.autocomplete.custom_export_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
460
461 <PREF NAME="editor.eiffel.autocomplete.autocomplete_precursor" DESCRIPTION="Autocomplete Precursor"><BOOLEAN>True</BOOLEAN></PREF>
462 <PREF NAME="editor.eiffel.autocomplete.use_default_precursor" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
463 <PREF NAME="editor.eiffel.autocomplete.custom_precursor_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> {$cursor$}</STRING></PREF>
464 <PREF NAME="editor.eiffel.autocomplete.custom_precursor_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$$cursor$</STRING></PREF>
465 <PREF NAME="editor.eiffel.autocomplete.custom_precursor_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
466 <PREF NAME="editor.eiffel.autocomplete.custom_precursor_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
467
468 <PREF NAME="editor.eiffel.autocomplete.autocomplete_create" DESCRIPTION="Autocomplete create"><BOOLEAN>True</BOOLEAN></PREF>
469 <PREF NAME="editor.eiffel.autocomplete.use_default_create" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
470 <PREF NAME="editor.eiffel.autocomplete.custom_create_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
471 <PREF NAME="editor.eiffel.autocomplete.custom_create_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
472 <PREF NAME="editor.eiffel.autocomplete.custom_create_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
473 <PREF NAME="editor.eiffel.autocomplete.custom_create_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
474
475 <PREF NAME="editor.eiffel.autocomplete.autocomplete_obsolete" DESCRIPTION="Autocomplete obsolete"><BOOLEAN>True</BOOLEAN></PREF>
476 <PREF NAME="editor.eiffel.autocomplete.use_default_obsolete" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
477 <PREF NAME="editor.eiffel.autocomplete.custom_obsolete_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
478 <PREF NAME="editor.eiffel.autocomplete.custom_obsolete_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"</STRING></PREF>
479 <PREF NAME="editor.eiffel.autocomplete.custom_obsolete_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
480 <PREF NAME="editor.eiffel.autocomplete.custom_obsolete_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
481
482 <PREF NAME="editor.eiffel.autocomplete.autocomplete_invariant" DESCRIPTION="Autocomplete invariant"><BOOLEAN>True</BOOLEAN></PREF>
483 <PREF NAME="editor.eiffel.autocomplete.use_default_invariant" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
484 <PREF NAME="editor.eiffel.autocomplete.custom_invariant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
485 <PREF NAME="editor.eiffel.autocomplete.custom_invariant_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
486 <PREF NAME="editor.eiffel.autocomplete.custom_invariant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
487 <PREF NAME="editor.eiffel.autocomplete.custom_invariant_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
488
489 <PREF NAME="editor.eiffel.autocomplete.autocomplete_end" DESCRIPTION="Autocomplete end"><BOOLEAN>False</BOOLEAN></PREF>
490 <PREF NAME="editor.eiffel.autocomplete.use_default_end" DESCRIPTION="Use default autocomplete"><BOOLEAN>True</BOOLEAN></PREF>
491 <PREF NAME="editor.eiffel.autocomplete.custom_end_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
492 <PREF NAME="editor.eiffel.autocomplete.custom_end_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$$cursor$</STRING></PREF>
493 <PREF NAME="editor.eiffel.autocomplete.custom_end_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
494 <PREF NAME="editor.eiffel.autocomplete.custom_end_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
495
496 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete_shortcut_key" DESCRIPTION="Key"><STRING>Space</STRING></PREF>
497 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
498 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
499 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
500
501 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete_shortcut_key" DESCRIPTION="Key">class_autocomplete_shortcut_key<STRING>Space</STRING></PREF>
502 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
503 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
504 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
505
506 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection_shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
507 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
508 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
509 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
510
511 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last_shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
512 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
513 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
514 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
515
516 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward_shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
517 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
518 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
519 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
520
521 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel_shortcut_key" DESCRIPTION="Key"><STRING>F</STRING></PREF>
522 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
523 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
524 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
525
526 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel_shortcut_key" DESCRIPTION="Key"><STRING>H</STRING></PREF>
527 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
528 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
529 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
530
531 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_1" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
532 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1_shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
533 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
534 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
535 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
536
537 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_2" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
538 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2_shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
539 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
540 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
541 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
542
543 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_3" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
544 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3_shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
545 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3_shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
546 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3_shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
547 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3_shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
548
549 <PREF NAME="browsing_tools.class_completion" DESCRIPTION="Allow class name completion in the address combo boxes"><BOOLEAN>True</BOOLEAN></PREF>
550 <PREF NAME="browsing_tools.history_size" DESCRIPTION=""><INTEGER>10</INTEGER></PREF>
551 <PREF NAME="browsing_tools.dock_tracking" DESCRIPTION="Docked tools track main window"><BOOLEAN>True</BOOLEAN></PREF>
552 <PREF NAME="browsing_tools.last_browsed_cluster_directory" DESCRIPTION=""><STRING>C:\</STRING></PREF>
553
554 <PREF NAME="misc.external_command_0" DESCRIPTION="First external command"><STRING></STRING></PREF>
555 <PREF NAME="misc.external_command_1" DESCRIPTION="Second external command"><STRING></STRING></PREF>
556 <PREF NAME="misc.external_command_2" DESCRIPTION="Third external command"><STRING></STRING></PREF>
557 <PREF NAME="misc.external_command_3" DESCRIPTION="Forth external command"><STRING></STRING></PREF>
558 <PREF NAME="misc.external_command_4" DESCRIPTION="Fifth external command"><STRING></STRING></PREF>
559 <PREF NAME="misc.external_command_5" DESCRIPTION="Sixth external command"><STRING></STRING></PREF>
560 <PREF NAME="misc.external_command_6" DESCRIPTION="Seventh external command"><STRING></STRING></PREF>
561 <PREF NAME="misc.external_command_7" DESCRIPTION="Eighth external command"><STRING></STRING></PREF>
562 <PREF NAME="misc.external_command_8" DESCRIPTION="Ninth external command"><STRING></STRING></PREF>
563 <PREF NAME="misc.external_command_9" DESCRIPTION="Tenth external command"><STRING></STRING></PREF>
564 <PREF NAME="misc.acrobat_reader" DESCRIPTION=""><STRING>acrobat</STRING></PREF>
565 <PREF NAME="misc.text_mode_is_windows" DESCRIPTION="Text files format: True = Windows / False = UNIX"><BOOLEAN>True</BOOLEAN></PREF>
566 <PREF NAME="misc.editor" DESCRIPTION=""><STRING>notepad</STRING></PREF>
567 <PREF NAME="misc.shell_command" DESCRIPTION="Command used to launch an external editor"><STRING>notepad $target</STRING></PREF>
568 <PREF NAME="misc.filter_name" DESCRIPTION=""><STRING>PostScript</STRING></PREF>
569 <PREF NAME="misc.filter_command" DESCRIPTION=""><STRING>none</STRING></PREF>
570 <PREF NAME="misc.filter_directory" DESCRIPTION=""><STRING></STRING></PREF>
571 <PREF NAME="misc.profile_directory" DESCRIPTION=""><STRING></STRING></PREF>
572 <PREF NAME="misc.temporary_directory" DESCRIPTION=""><STRING></STRING></PREF>
573 <PREF NAME="misc.highlight clickable areas" DESCRIPTION=""><BOOLEAN>True</BOOLEAN></PREF>
574 <PREF NAME="misc.editor_left_side" DESCRIPTION="Display editor on left? (Requires restart)"><BOOLEAN>False</BOOLEAN></PREF>
575 <PREF NAME="misc.dyn_lib_window_width" DESCRIPTION=""><INTEGER>450</INTEGER></PREF>
576 <PREF NAME="misc.dyn_lib_window_height" DESCRIPTION=""><INTEGER>300</INTEGER></PREF>
577 <PREF NAME="misc.ctrl_right_click_receiver" DESCRIPTION="Receiver of control-right-click"><LIST>new_window;editor;context;new_editor;new_context;external</LIST></PREF>
578 <PREF NAME="misc.progress_bar_color" DESCRIPTION="Color for progress bar"><COLOR>0;0;128</COLOR></PREF>
579
580
581 </EIFFEL_DOCUMENT>

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23