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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 57176 - (show annotations)
Mon Feb 27 07:34:47 2006 UTC (13 years, 10 months ago) by jfiat
File MIME type: text/xml
File size: 94105 byte(s)
added preferences for the debugger's grid layout (header items)
1 <EIFFEL_DOCUMENT>
2 <PREF NAME="debugger.critical_stack_depth" DESCRIPTION="Stack overflow detection: depth of stack at which execution will pause and ask whether it is ok to continue (only works in classic Eiffel)." RESTART="True"><INTEGER>1000</INTEGER></PREF>
3 <PREF NAME="debugger.debug_output_evaluation" DESCRIPTION="Display DEBUG_OUTPUT.debug_output for objects whose base class inherits from DEBUG_OUTPUT."><BOOLEAN>True</BOOLEAN></PREF>
4 <PREF NAME="debugger.default_displayed_string_size" DESCRIPTION="Default number of displayed characters of a STRING (increasing this value might slow down debugging)."><INTEGER>50</INTEGER></PREF>
5 <PREF NAME="debugger.default_expanded_view_size" DESCRIPTION="Default number of displayed characters in the expanded view (increasing this value might slow down debugging)."><INTEGER>500</INTEGER></PREF>
6 <PREF NAME="debugger.default_maximum_stack_depth" DESCRIPTION="Default number of call stack elements shown in Call Stack tool (-1 to show all of them)." RESTART="True"><INTEGER>100</INTEGER></PREF>
7 <PREF NAME="debugger.delay_before_cleaning_objects_grid" DESCRIPTION="Delay (in milliseconds) before clearing the stacks and objects grid. By tuning this value, you can reduce the potential flickering of the related grid."><INTEGER>500</INTEGER></PREF>
8 <PREF NAME="debugger.dotnet_debugger" DESCRIPTION="Which .NET debugger to launch: `EiffelStudio Dbg' will use the EiffelStudio debugger; `cordbg' will use the command line debugger from the .NET Framework SDK; `DebugCLR' will use the graphical debugger from the .NET Framework SDK."><LIST>[EiffelStudio Dbg];cordbg;DbgCLR</LIST></PREF>
9 <PREF NAME="debugger.expanded_display_background_color" DESCRIPTION="Background color for expanded display view (default is white, change it to better see white space at end of lines in displayed text)."><COLOR>255;255;255</COLOR></PREF>
10 <PREF NAME="debugger.generating_type_evaluation" DESCRIPTION="Display the base type of an object if enabled, otherwise just the base class (disabling it might speed up debugging). e.g: might display ARRAY [STRING] if True but will just display ARRAY if False."><BOOLEAN>True</BOOLEAN></PREF>
11 <PREF NAME="debugger.interrupt_every_N_instructions" DESCRIPTION="Number of instructions that will be executed before interrupting the execution."><INTEGER>1</INTEGER></PREF>
12 <PREF NAME="debugger.last_saved_stack_path" HIDDEN="true" DESCRIPTION="Disk location of last saved stack path information."><STRING></STRING></PREF>
13 <PREF NAME="debugger.left_debug_layout" HIDDEN="true" DESCRIPTION="Items/tools shown in navigation layout when in debug mode."><LIST>Features;closed;0;0;0;0;Clusters;closed;0;0;0;0;Breakpoints;closed;0;0;0;0;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0;Threads;closed;0;0;0;38;Call Stack;visible;0;0;0;38</LIST></PREF>
14 <PREF NAME="debugger.main_splitter_position" HIDDEN="true" DESCRIPTION="Position of main horizontal splitter bar."><INTEGER>250</INTEGER></PREF>
15 <PREF NAME="debugger.max_evaluation_duration" DESCRIPTION="Maximum evaluation duration before cancelling evaluation. (this is only applicable for a .NET system)"><INTEGER>5</INTEGER></PREF>
16 <PREF NAME="debugger.max_slice" HIDDEN="true" DESCRIPTION="Largest number of items displayed in list data."><INTEGER>50</INTEGER></PREF>
17 <PREF NAME="debugger.min_slice" HIDDEN="true" DESCRIPTION="Smallest number of items displayed in list data."><INTEGER>0</INTEGER></PREF>
18 <PREF NAME="debugger.number_of_watch_tools" HIDDEN="true" DESCRIPTION="Default number of watch tools."><INTEGER>1</INTEGER></PREF>
19 <PREF NAME="debugger.project_toolbar_layout" HIDDEN="true" DESCRIPTION="Debug toolbar items and layout information."><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>
20 <PREF NAME="debugger.proportion" HIDDEN="true" DESCRIPTION="Proportion of the local/arguments part of the `Objects' tab in the Debugging tool."><INTEGER>0.5</INTEGER></PREF>
21 <PREF NAME="debugger.right_debug_layout" HIDDEN="true" DESCRIPTION="Items/tools shown on editor side when in debug mode."><LIST>Search;closed;0;0;0;0;Editor;minimized;0;0;0;0;Context;visible;0;0;0;171;Debugging;visible;0;0;0;218</LIST></PREF>
22 <PREF NAME="debugger.stack_grid_layout_managed" HIDDEN="true" DESCRIPTION="Enable/Disable the layout management for the stack values (keep value expanded or not, and highlight difference)."><BOOLEAN>True</BOOLEAN></PREF>
23 <PREF NAME="debugger.debugged_grid_layout_managed" HIDDEN="true" DESCRIPTION="Enable/Disable the layout management for the debugged values (keep value expanded or not, and highlight difference)."><BOOLEAN>True</BOOLEAN></PREF>
24 <PREF NAME="debugger.watches_grids_layout_managed" HIDDEN="true" DESCRIPTION="Enable/Disable the layout management for the watches expressions (keep value expanded or not, and highlight difference)."><BOOLEAN>True</BOOLEAN></PREF>
25 <PREF NAME="debugger.grid_column_layout_stack_objects" DESCRIPTION="Configuration of the stack objects grid.%N This should be a list of 5 sequences: nature_id;is_shown;is_auto_resized;width;header_name; %NThe position in the list indicate the column.%NThe nature_id are: 1:name; 2:value; 3:type; 4:address; 5:context..." RESTART="True"><STRING>1;True;False;150;Name;2;True;False;76;Value;3;True;False;100;Type;4;True;False;173;Address;5;False;False;80;</STRING></PREF>
26 <PREF NAME="debugger.grid_column_layout_debugged_objects" DESCRIPTION="Configuration of the debugged objects grid.%NCheck grid_column_layout_stack_objects for full description." RESTART="True"><STRING>1;True;False;150;Name;2;True;False;150;Value;3;True;False;200;Type;4;True;False;80;Address;5;False;False;80;</STRING></PREF>
27 <PREF NAME="debugger.grid_column_layout_watches" DESCRIPTION="Configuration of the watches objects grid. %NCheck grid_column_layout_stack_objects for full description." RESTART="True"><STRING>1;True;False;150;Expression;2;True;False;150;Value;3;True;False;100;Type;4;True;False;80;Address;5;True;False;200;Context</STRING></PREF>
28 <PREF NAME="debugger.show_text_in_project_toolbar" HIDDEN="true" DESCRIPTION="Should text be shown alongside preselected toolbar items?"><BOOLEAN>True</BOOLEAN></PREF>
29 <PREF NAME="debugger.show_all_text_in_project_toolbar" HIDDEN="true" DESCRIPTION="Should text be shown alongside all toolbar items?"><BOOLEAN>False</BOOLEAN></PREF>
30 <PREF NAME="tools.diagram_tool.diagram_background_color" DESCRIPTION="Background Color for Diagram Tool"><COLOR>255;255;235</COLOR></PREF>
31 <PREF NAME="tools.diagram_tool.bon.bon_class_name_font" DESCRIPTION="Font for class names in BON class figures."><FONT>Arial-r-regular-10-sans</FONT></PREF>
32 <PREF NAME="tools.diagram_tool.bon.bon_class_name_color" DESCRIPTION="Color for class names in BON class figures."><COLOR>17;3;80</COLOR></PREF>
33 <PREF NAME="tools.diagram_tool.bon.bon_class_fill_color" DESCRIPTION="Color for BON class figures."><COLOR>204;204;253</COLOR></PREF>
34 <PREF NAME="tools.diagram_tool.bon.bon_class_uncompiled_fill_color" DESCRIPTION="Color for uncompiled BON class figures."><COLOR>234;234;234</COLOR></PREF>
35 <PREF NAME="tools.diagram_tool.bon.bon_class_generics_font" DESCRIPTION="Font for generics in BON class figures."><FONT>Arial-r-bold-10-sans</FONT></PREF>
36 <PREF NAME="tools.diagram_tool.bon.bon_class_generics_color" DESCRIPTION="Color for generics in BON class figures."><COLOR>0;0;0</COLOR></PREF>
37 <PREF NAME="tools.diagram_tool.bon.bon_client_label_font" DESCRIPTION="Font for feature names on BON client supplier links."><FONT>Arial-r-regular-10-sans</FONT></PREF>
38 <PREF NAME="tools.diagram_tool.bon.bon_client_label_color" DESCRIPTION="Color for feature names on BON client supplier links."><COLOR>0;0;0</COLOR></PREF>
39 <PREF NAME="tools.diagram_tool.bon.bon_client_color" DESCRIPTION="Color for BON client supplier links."><COLOR>69;166;11</COLOR></PREF>
40 <PREF NAME="tools.diagram_tool.bon.bon_client_line_width" DESCRIPTION="Line width for BON client supplier links."><INTEGER>5</INTEGER></PREF>
41 <PREF NAME="tools.diagram_tool.bon.bon_cluster_line_color" DESCRIPTION="Color for BON cluster line."><COLOR>100;97;28</COLOR></PREF>
42 <PREF NAME="tools.diagram_tool.bon.bon_cluster_iconified_fill_color" DESCRIPTION="Iconified BON Cluster fill color."><COLOR>240;240;255</COLOR></PREF>
43 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_area_color" DESCRIPTION="BON cluster name area fill color."><COLOR>254;253;203</COLOR></PREF>
44 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_color" DESCRIPTION="BON cluster name color."><COLOR>0;0;0</COLOR></PREF>
45 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_font" DESCRIPTION="BON cluster name font."><FONT>Arial-r-bold-10-sans</FONT></PREF>
46 <PREF NAME="tools.diagram_tool.bon.bon_inheritance_color" DESCRIPTION="Color for BON inheritance links."><COLOR>230;0;0</COLOR></PREF>
47 <PREF NAME="tools.diagram_tool.bon.bon_inheritance_line_width" DESCRIPTION="Line width for BON inheritance links."><INTEGER>2</INTEGER></PREF>
48 <PREF NAME="tools.diagram_tool.uml.uml_class_name_font" DESCRIPTION="Font for class names in UML class figures."><FONT>Arial-r-regular-10-sans</FONT></PREF>
49 <PREF NAME="tools.diagram_tool.uml.uml_class_deferred_font" DESCRIPTION="Font for names of deferred classes in UML class figures."><FONT>Arial-i-regular-10-sans</FONT></PREF>
50 <PREF NAME="tools.diagram_tool.uml.uml_class_properties_font" DESCRIPTION="Font for class properties in UML class figures."><FONT>Arial-i-regular-10-sans</FONT></PREF>
51 <PREF NAME="tools.diagram_tool.uml.uml_class_properties_color" DESCRIPTION="Color for class properties in UML class figures."><COLOR>127;0;0</COLOR></PREF>
52 <PREF NAME="tools.diagram_tool.uml.uml_class_name_color" DESCRIPTION="Color for class names in UML class figures."><COLOR>0;25;127</COLOR></PREF>
53 <PREF NAME="tools.diagram_tool.uml.uml_class_fill_color" DESCRIPTION="Color for UML class figures."><COLOR>255;255;255</COLOR></PREF>
54 <PREF NAME="tools.diagram_tool.uml.uml_generics_font" DESCRIPTION="Font for generics in UML class figures."><FONT>Arial-r-bold-10-sans</FONT></PREF>
55 <PREF NAME="tools.diagram_tool.uml.uml_generics_color" DESCRIPTION="Color for generics in UML class figures."><COLOR>180;0;0</COLOR></PREF>
56 <PREF NAME="tools.diagram_tool.uml.uml_class_features_font" DESCRIPTION="Font for class features in UML class figures."><FONT>Arial-r-regular-10-sans</FONT></PREF>
57 <PREF NAME="tools.diagram_tool.uml.uml_class_features_color" DESCRIPTION="Color for class features in UML class figures."><COLOR>0;127;0</COLOR></PREF>
58 <PREF NAME="tools.diagram_tool.uml.uml_class_feature_section_font" DESCRIPTION="Font for class feature sections in UML class figures."><FONT>Arial-r-bold-10-sans</FONT></PREF>
59 <PREF NAME="tools.diagram_tool.uml.uml_class_feature_section_color" DESCRIPTION="Color for class feature sections in UML class figures."><COLOR>0;0;0</COLOR></PREF>
60 <PREF NAME="tools.diagram_tool.uml.uml_client_line_width" DESCRIPTION="Line width for UML client supplier links."><INTEGER>1</INTEGER></PREF>
61 <PREF NAME="tools.diagram_tool.uml.uml_client_color" DESCRIPTION="Color for UML client supplier links."><COLOR>0;0;0</COLOR></PREF>
62 <PREF NAME="tools.diagram_tool.uml.uml_client_label_color" DESCRIPTION="Color for feature names on UML client supplier links."><COLOR>0;0;0</COLOR></PREF>
63 <PREF NAME="tools.diagram_tool.uml.uml_client_label_font" DESCRIPTION="Font for feature names on UML client supplier links."><FONT>Arial-r-regular-10-sans</FONT></PREF>
64 <PREF NAME="tools.diagram_tool.uml.uml_cluster_line_color" DESCRIPTION="Color for UML cluster line."><COLOR>0;0;0</COLOR></PREF>
65 <PREF NAME="tools.diagram_tool.uml.uml_cluster_iconified_fill_color" DESCRIPTION="Iconified UML Cluster fill color."><COLOR>255;255;255</COLOR></PREF>
66 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_area_color" DESCRIPTION="UML cluster name area fill color."><COLOR>255;255;255</COLOR></PREF>
67 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_color" DESCRIPTION="UML cluster name color."><COLOR>0;0;0</COLOR></PREF>
68 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_font" DESCRIPTION="UML cluster name font."><FONT>Arial-r-regular-10-sans</FONT></PREF>
69 <PREF NAME="tools.diagram_tool.uml.uml_inheritance_line_width" DESCRIPTION="Line width for UML inheritance links."><INTEGER>1</INTEGER></PREF>
70 <PREF NAME="tools.diagram_tool.uml.uml_inheritance_color" DESCRIPTION="Color for UML inheritance links."><COLOR>0;0;0</COLOR></PREF>
71
72 <PREF NAME="tools.diagram_tool.ancestor_depth" DESCRIPTION="Show ancestors of a class up to a level of preference value."><INTEGER>1</INTEGER></PREF>
73 <PREF NAME="tools.diagram_tool.autoscroll_speed" DESCRIPTION="Speed for scrolling when dragging figures from diagram near the edge of the diagram tool (a valid value is between 0 and 100)."><INTEGER>50</INTEGER></PREF>
74 <PREF NAME="tools.diagram_tool.client_depth" DESCRIPTION="Show clients of a class up to a level of preference value."><INTEGER>0</INTEGER></PREF>
75 <PREF NAME="tools.diagram_tool.descendant_depth" DESCRIPTION="Show descendants of a class down to a level of preference value."><INTEGER>1</INTEGER></PREF>
76 <PREF NAME="tools.diagram_tool.diagram_toolbar_layout" HIDDEN="true" DESCRIPTION="The visible toolbar items for the Diagram Tool toolbar."><LIST>Center_diagram__visible;Separator;New_links__visible;Create_class__visible;Class_header_hole__visible;Delete_item__visible;Separator;Undo_command__visible;History_tool__visible;Redo_command__visible;Separator;Delete_hole__visible;Separator;Force_directed__visible;UML_visibility__visible;Force_settings__visible;Context_depth__visible;Separator;Inherit_visibility__visible;Supplier_visibility__visible;Labels_visibility__visible;Separator;Fit_to_screen__visible;Link_tool__hidden;Color__hidden;High_quality__hidden;Clusters_visibility__hidden;Anchor_remove__hidden;Display_legend__hidden;Diagram_to_png__hidden;Cluster_filling__hidden;Zoom_out__hidden;Zoom_in__hidden</LIST></PREF>
77 <PREF NAME="tools.diagram_tool.excluded_class_figures" DESCRIPTION="Names of classes that should not appear in generated diagrams."><LIST>INTEGER;BOOLEAN;STRING;CHARACTER;REAL;DOUBLE</LIST></PREF>
78 <PREF NAME="tools.diagram_tool.ignore_excluded_class_figures" DESCRIPTION="Show ALL classes in the diagram (ignore the following list)?"><BOOLEAN>False</BOOLEAN></PREF>
79 <PREF NAME="tools.diagram_tool.subcluster_depth" DESCRIPTION="Show subclusters of a cluster down to a level of preference value."><INTEGER>1</INTEGER></PREF>
80 <PREF NAME="tools.diagram_tool.supercluster_depth" DESCRIPTION="Show superclusters of a cluster up to a level of preference value."><INTEGER>1</INTEGER></PREF>
81 <PREF NAME="tools.diagram_tool.supplier_depth" DESCRIPTION="Show suppliers of a class up to a level of preference value."><INTEGER>0</INTEGER></PREF>
82
83 <PREF NAME="tools.context_tool.show_all_callers" DESCRIPTION="Show all callers (as opposed to local callers) in `callers' form."><BOOLEAN>True</BOOLEAN></PREF>
84 <PREF NAME="tools.context_tool.excluded_indexing_items" DESCRIPTION="Indexing items that need not be included in formatted texts."><LIST>revision;date;status</LIST></PREF>
85 <PREF NAME="tools.context_tool.default_class_formatter_index" DESCRIPTION="Class format that is selected by default."><INTEGER>5</INTEGER></PREF>
86 <PREF NAME="tools.context_tool.default_feature_formatter_index" DESCRIPTION="Feature format that is selected by default."><INTEGER>2</INTEGER></PREF>
87 <PREF NAME="tools.context_tool.formatters_history_size" DESCRIPTION="Number of cached formatted text in history."><INTEGER>60</INTEGER></PREF>
88
89 <PREF NAME="interface.dialogs.confirm_on_exit" DESCRIPTION="Display confirmation dialog on exit."><BOOLEAN>True</BOOLEAN></PREF>
90 <PREF NAME="interface.dialogs.confirm_replace_all" DESCRIPTION="Display confirmation dialog on replacing all."><BOOLEAN>True</BOOLEAN></PREF>
91 <PREF NAME="interface.dialogs.confirm_finalize" DESCRIPTION="Display confirmation dialog for C compilation on finalize operation."><BOOLEAN>True</BOOLEAN></PREF>
92 <PREF NAME="interface.dialogs.confirm_freeze" DESCRIPTION="Display confirmation dialog for C compilation on freeze operation."><BOOLEAN>True</BOOLEAN></PREF>
93 <PREF NAME="interface.dialogs.confirm_save_before_compile" DESCRIPTION="Display confirmation dialog on compilation when some files have not been saved."><BOOLEAN>True</BOOLEAN></PREF>
94 <PREF NAME="interface.dialogs.confirm_finalize_assertions" DESCRIPTION="Display confirmation dialog for assertions on finalize operation."><BOOLEAN>True</BOOLEAN></PREF>
95 <PREF NAME="interface.dialogs.confirm_clear_breakpoints" DESCRIPTION="Display confirmation dialog on clearing breakpoints."><BOOLEAN>True</BOOLEAN></PREF>
96 <PREF NAME="interface.dialogs.confirm_ignore_all_breakpoints" DESCRIPTION="Display confirmation dialog when starting the application without stopping at breakpoints."><BOOLEAN>True</BOOLEAN></PREF>
97 <PREF NAME="interface.dialogs.confirm_convert_project" DESCRIPTION="Display confirmation dialog before converting an old project."><BOOLEAN>True</BOOLEAN></PREF>
98 <PREF NAME="interface.dialogs.acknowledge_not_loaded" DESCRIPTION="Display dialog that warns that text is being loaded and is not editable or clickable."><BOOLEAN>True</BOOLEAN></PREF>
99 <PREF NAME="interface.dialogs.confirm_finalize_precompile" DESCRIPTION="Display confirmation dialog for finalizing a .NET precompiled library."><BOOLEAN>True</BOOLEAN></PREF>
100 <PREF NAME="interface.dialogs.show_starting_dialog" DESCRIPTION="Display New/Open project dialog at startup."><BOOLEAN>True</BOOLEAN></PREF>
101 <PREF NAME="interface.dialogs.confirm_resource_change_needs_restart" DESCRIPTION="Display warning dialog when changing resources that require you to restart EiffeStudio before they become effective." HIDDEN="True"><BOOLEAN>True</BOOLEAN></PREF>
102 <PREF NAME="interface.dialogs.generate_homonyms" DESCRIPTION="Display dialog that warns that homonym format can take a long time."><BOOLEAN>True</BOOLEAN></PREF>
103 <PREF NAME="interface.dialogs.stop_execution_when_compiling" DESCRIPTION="Display dialog when an application is running and a compilation is launched."><BOOLEAN>True</BOOLEAN></PREF>
104 <PREF NAME="interface.dialogs.confirm_kill" DESCRIPTION="Display dialog before killing a debugged application."><BOOLEAN>True</BOOLEAN></PREF>
105 <PREF NAME="interface.dialogs.already_editing_class" DESCRIPTION="Display dialog when editing the same class in two development windows."><BOOLEAN>True</BOOLEAN></PREF>
106 <PREF NAME="interface.dialogs.executing_command" DESCRIPTION="Display dialog while running an external command."><BOOLEAN>True</BOOLEAN></PREF>
107 <PREF NAME="interface.dialogs.file_open_and_save_dialogs_remember_last_directory" DESCRIPTION="File open and save dialogs each remember their last selected directory."><BOOLEAN>True</BOOLEAN></PREF>
108 <PREF NAME="interface.dialogs.last_opened_project_directory" DESCRIPTION="Directory of last project opened." HIDDEN="True"><STRING></STRING></PREF>
109 <PREF NAME="interface.dialogs.last_opened_ace_directory" DESCRIPTION="Directory of last ace file opened." HIDDEN="True"><STRING></STRING></PREF>
110 <PREF NAME="interface.dialogs.last_opened_dynamic_lib_directory" DESCRIPTION="Directory of last dynamic lib library opened." HIDDEN="True"><STRING></STRING></PREF>
111 <PREF NAME="interface.dialogs.last_opened_metric_directory" DESCRIPTION="Directory of last metric opened." HIDDEN="True"><STRING></STRING></PREF>
112 <PREF NAME="interface.dialogs.last_opened_file_directory" DESCRIPTION="Directory of last file opened." HIDDEN="True"><STRING></STRING></PREF>
113 <PREF NAME="interface.dialogs.last_opened_system_ace_directory" DESCRIPTION="Directory of last system ace file opened." HIDDEN="True"><STRING></STRING></PREF>
114 <PREF NAME="interface.dialogs.last_opened_import_metric_directory" DESCRIPTION="Directory of last imported metric opened." HIDDEN="True"><STRING></STRING></PREF>
115 <PREF NAME="interface.dialogs.last_opened_local_assembly_directory" DESCRIPTION="Directory of last local assembly opened." HIDDEN="True"><STRING></STRING></PREF>
116 <PREF NAME="interface.dialogs.last_opened_metric_browse_archive_directory" DESCRIPTION="Directory of last metric browse archive opened." HIDDEN="True"><STRING></STRING></PREF>
117 <PREF NAME="interface.dialogs.last_opened_metric_update_archive_directory" DESCRIPTION="Directory of last metric update archive opened." HIDDEN="True"><STRING></STRING></PREF>
118 <PREF NAME="interface.dialogs.last_saved_dynamic_lib_directory" DESCRIPTION="Directory of last dynamic lib saved." HIDDEN="True"><STRING></STRING></PREF>
119 <PREF NAME="interface.dialogs.last_saved_call_stack_directory" DESCRIPTION="Directory of last call stack saved." HIDDEN="True"><STRING></STRING></PREF>
120 <PREF NAME="interface.dialogs.last_saved_debugger_exception_directory" DESCRIPTION="Directory of last debugger exception saved." HIDDEN="True"><STRING></STRING></PREF>
121 <PREF NAME="interface.dialogs.last_saved_diagram_postscript_directory" DESCRIPTION="Directory of last diagram postscript file saved." HIDDEN="True"><STRING></STRING></PREF>
122 <PREF NAME="interface.dialogs.last_saved_exception_directory" DESCRIPTION="Directory of last exception saved." HIDDEN="True"><STRING></STRING></PREF>
123 <PREF NAME="interface.dialogs.last_saved_metric_new_archive_directory" DESCRIPTION="Directory of last new metric new archive." HIDDEN="True"><STRING></STRING></PREF>
124 <PREF NAME="interface.dialogs.last_saved_save_file_as_directory" DESCRIPTION="Directory of last save file as saved." HIDDEN="True"><STRING></STRING></PREF>
125 <PREF NAME="interface.dialogs.last_saved_profile_result_directory" DESCRIPTION="Directory of last profile result saved." HIDDEN="True"><STRING></STRING></PREF>
126 <PREF NAME="interface.dialogs.last_saved_system_generate_key_directory" DESCRIPTION="Directory of last system generate key saved." HIDDEN="True"><STRING></STRING></PREF>
127
128 <PREF NAME="interface.development_window.class_completion" DESCRIPTION="Allow class name completion in the address combo boxes?"><BOOLEAN>True</BOOLEAN></PREF>
129 <PREF NAME="interface.development_window.ctrl_right_click_receiver" DESCRIPTION="Receivers of control-right-click."><LIST>[new_window];editor;context;new_editor;new_context;external</LIST></PREF>
130 <PREF NAME="interface.development_window.dock_tracking" DESCRIPTION="Docked tools track main window?"><BOOLEAN>True</BOOLEAN></PREF>
131 <PREF NAME="interface.development_window.editor_left_side" DESCRIPTION="Display editor on left?" RESTART="True"><BOOLEAN>False</BOOLEAN></PREF>
132 <PREF NAME="interface.development_window.expand_feature_tree" DESCRIPTION="Automatically expand the feature tree."><BOOLEAN>True</BOOLEAN></PREF>
133 <PREF NAME="interface.development_window.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>
134 <PREF NAME="interface.development_window.graphical_output_disabled" DESCRIPTION="Disable graphical output."><BOOLEAN>False</BOOLEAN></PREF>
135 <PREF NAME="interface.development_window.is_maximized" HIDDEN="true" DESCRIPTION="Is window maximized?"><BOOLEAN>False</BOOLEAN></PREF>
136 <PREF NAME="interface.development_window.last_browsed_cluster_directory" HIDDEN="true" DESCRIPTION="Directory of last browsed cluster."><STRING></STRING></PREF>
137 <PREF NAME="interface.development_window.left_panel_layout" HIDDEN="true" DESCRIPTION="Items/tools information for navigation panel."><LIST>Features;visible;0;0;0;266;Clusters;visible;0;0;0;250;Breakpoints;closed;0;0;0;0;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0</LIST></PREF>
138 <PREF NAME="interface.development_window.left_panel_use_explorer_style" DESCRIPTION="Show only one tool (Features, Clusters, Search, Windows) at a time." RESTART="True"><BOOLEAN>False</BOOLEAN></PREF>
139 <PREF NAME="interface.development_window.maximum_history_size" DESCRIPTION="Maximum number of items displayed in the history combo boxes."><INTEGER>20</INTEGER></PREF>
140 <PREF NAME="interface.development_window.progress_bar_color" DESCRIPTION="Color for progress bar."><COLOR>0;0;128</COLOR></PREF>
141 <PREF NAME="interface.development_window.remember_completion_list_size" DESCRIPTION="Should size of completion list be remembered between completions in the editor?"><BOOLEAN>True</BOOLEAN></PREF>
142 <PREF NAME="interface.development_window.right_panel_layout" HIDDEN="true" DESCRIPTION="Items/tools information for editor panel."><LIST>Search;closed;0;0;0;0;Editor;visible;0;0;0;266;Context;visible;0;0;0;250</LIST></PREF>
143 <PREF NAME="interface.development_window.search_tool_show_options" DESCRIPTION="Should search options be shown in search tool?"><BOOLEAN>True</BOOLEAN></PREF>
144 <PREF NAME="interface.development_window.show_address_toolbar" DESCRIPTION="Should address toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
145 <PREF NAME="interface.development_window.show_all_text_in_general_toolbar" DESCRIPTION="Is text of toolbar items displayed?"><BOOLEAN>False</BOOLEAN></PREF>
146 <PREF NAME="interface.development_window.show_project_toolbar" DESCRIPTION="Should project toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
147 <PREF NAME="interface.development_window.show_general_toolbar" DESCRIPTION="Should general toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
148 <PREF NAME="interface.development_window.show_text_in_general_toolbar" DESCRIPTION="Should selective text of toolbar items in general toolbar?"><BOOLEAN>True</BOOLEAN></PREF>
149 <PREF NAME="interface.development_window.general_toolbar_layout" HIDDEN="true" DESCRIPTION="Items shown in general toolbar."><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;Editor__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>
150 <PREF NAME="interface.development_window.unified_stone" DESCRIPTION="Link the context tool with other components by default?"><BOOLEAN>False</BOOLEAN></PREF>
151 <PREF NAME="interface.development_window.use_animated_icons" DESCRIPTION="Use animated icons in the status bar?"><BOOLEAN>True</BOOLEAN></PREF>
152
153 <PREF NAME="interface.development_window.window_left_panel_width" HIDDEN="true" DESCRIPTION="Width of navigation panel"><INTEGER>100</INTEGER></PREF>
154 <PREF NAME="interface.development_window.width" DESCRIPTION="Width of development window." HIDDEN="true"><INTEGER>950</INTEGER></PREF>
155 <PREF NAME="interface.development_window.height" DESCRIPTION="Height of development window." HIDDEN="true"><INTEGER>700</INTEGER></PREF>
156 <PREF NAME="interface.development_window.x_position" DESCRIPTION="Screen x position of development window." HIDDEN="true"><INTEGER>50</INTEGER></PREF>
157 <PREF NAME="interface.development_window.y_position" DESCRIPTION="Screen y position of development window." HIDDEN="true"><INTEGER>50</INTEGER></PREF>
158 <PREF NAME="interface.development_window.completion_list_height" DESCRIPTION="Height of completion list. Used if 'remember_completion_list_size' is set to True." HIDDEN="true"><INTEGER>320</INTEGER></PREF>
159 <PREF NAME="interface.development_window.completion_list_width" DESCRIPTION="Width of completion list. Used if 'remember_completion_list_size' is set to True." HIDDEN="true"><INTEGER>240</INTEGER></PREF>
160
161 <PREF NAME="recent_projects.last_opened_projects" DESCRIPTION="List of recently opened projects."><LIST></LIST></PREF>
162 <PREF NAME="recent_projects.keep_n_projects" DESCRIPTION="Number of recent projects to keep in the list."><INTEGER>10</INTEGER></PREF>
163
164 <PREF NAME="editor.eiffel.auto-complete_brackets_and_parentheses" DESCRIPTION="Are brackets and parentheses closed automatically?"><BOOLEAN>False</BOOLEAN></PREF>
165 <PREF NAME="editor.eiffel.auto-complete_quotes" DESCRIPTION="Are quotes closed automatically?"><BOOLEAN>False</BOOLEAN></PREF>
166 <PREF NAME="editor.eiffel.auto_auto-complete" DESCRIPTION="Should completion window appear automatically after typing a `.'?"><BOOLEAN>True</BOOLEAN></PREF>
167 <PREF NAME="editor.eiffel.auto_complete_words" DESCRIPTION="Should completion automatically complete words when a single best match is available?"><BOOLEAN>True</BOOLEAN></PREF>
168 <PREF NAME="editor.eiffel.auto_remove_trailing_blank_when_saving" DESCRIPTION="Should trailing blanks be auto-removed when saving?"><BOOLEAN>True</BOOLEAN></PREF>
169 <PREF NAME="editor.eiffel.customized_string_1" DESCRIPTION="User customized string inserted when user performs the key combination defined in Editor->Eiffel->Keyboard Shortcuts->Customized insertion 1."><STRING></STRING></PREF>
170 <PREF NAME="editor.eiffel.customized_string_2" DESCRIPTION="User customized string inserted when user performs the key combination defined in Editor->Eiffel->Keyboard Shortcuts->Customized insertion 2."><STRING></STRING></PREF>
171 <PREF NAME="editor.eiffel.customized_string_3" DESCRIPTION="User customized string inserted when user performs the key combination defined in Editor->Eiffel->Keyboard Shortcuts->Customized insertion 3."><STRING></STRING></PREF>
172 <PREF NAME="editor.eiffel.filter_completion_list" DESCRIPTION="Should non-matching entries from completion list be hidden while completing? If not, all entries are shown and selection in completion list will change to the closest matching entry while completing."><BOOLEAN>True</BOOLEAN></PREF>
173 <PREF NAME="editor.eiffel.once_and_constant_in_upper" DESCRIPTION="Does completion change the first character of onces and constants with an upper case character?"><BOOLEAN>False</BOOLEAN></PREF>
174 <PREF NAME="editor.eiffel.show_ANY_features" DESCRIPTION="Do features of class ANY appear in the feature call complete window?"><BOOLEAN>False</BOOLEAN></PREF>
175 <PREF NAME="editor.eiffel.show_completion_signature" DESCRIPTION="Does completion list show feature signatures?"><BOOLEAN>True</BOOLEAN></PREF>
176 <PREF NAME="editor.eiffel.show_completion_type" DESCRIPTION="Does completion list show query return type?"><BOOLEAN>True</BOOLEAN></PREF>
177 <PREF NAME="editor.eiffel.syntax_complete_enabled" DESCRIPTION="Is completion of keywords enabled? The completion of keywords can be changed in Editor->Eiffel->Autocomplete."><BOOLEAN>True</BOOLEAN></PREF>
178 <PREF NAME="editor.eiffel.text_mode_is_windows" DESCRIPTION="Format to use when saving class text. True means using Windows text format, False means using Unix text format."><BOOLEAN>True</BOOLEAN></PREF>
179 <PREF NAME="editor.eiffel.editor" DESCRIPTION="Command to open an external editor."><STRING>notepad</STRING></PREF>
180 <PREF NAME="editor.eiffel.underscore_is_separator" DESCRIPTION="Is underscore `_' used as a word separator?"><BOOLEAN>False</BOOLEAN></PREF>
181
182 <PREF NAME="editor.eiffel.colors.breakpoint_background_color" DESCRIPTION="Color for breakable marks and breakpoints."><COLOR>212;208;200</COLOR></PREF>
183 <PREF NAME="editor.eiffel.colors.assertion_tag_text_color" DESCRIPTION="Foreground color for assertion tags."><COLOR>64;0;0</COLOR></PREF>
184 <PREF NAME="editor.eiffel.colors.assertion_tag_background_color" DESCRIPTION="Background color for assertion tags."><COLOR>auto</COLOR></PREF>
185 <PREF NAME="editor.eiffel.colors.indexing_tag_text_color" DESCRIPTION="Foreground color for indexing tags."><COLOR>64;0;0</COLOR></PREF>
186 <PREF NAME="editor.eiffel.colors.indexing_tag_background_color" DESCRIPTION="Background color for indexing tags."><COLOR>auto</COLOR></PREF>
187 <PREF NAME="editor.eiffel.colors.reserved_text_color" DESCRIPTION="Foreground color for reserved words."><COLOR>64;0;0</COLOR></PREF>
188 <PREF NAME="editor.eiffel.colors.reserved_background_color" DESCRIPTION="Background color for reserved words."><COLOR>auto</COLOR></PREF>
189 <PREF NAME="editor.eiffel.colors.generic_text_color" DESCRIPTION="Foreground color for generics."><COLOR>255;0;0</COLOR></PREF>
190 <PREF NAME="editor.eiffel.colors.generic_background_color" DESCRIPTION="Background color for generics."><COLOR>255;255;255</COLOR></PREF>
191 <PREF NAME="editor.eiffel.colors.local_text_color" DESCRIPTION="Foreground color for locals."><COLOR>64;0;0</COLOR></PREF>
192 <PREF NAME="editor.eiffel.colors.local_background_color" DESCRIPTION="Background color for locals."><COLOR>auto</COLOR></PREF>
193 <PREF NAME="editor.eiffel.colors.class_text_color" DESCRIPTION="Foreground color for classes."><COLOR>0;0;255</COLOR></PREF>
194 <PREF NAME="editor.eiffel.colors.class_background_color" DESCRIPTION="Background color for classes."><COLOR>255;255;255</COLOR></PREF>
195 <PREF NAME="editor.eiffel.colors.feature_text_color" DESCRIPTION="Foreground color for features."><COLOR>0;128;0</COLOR></PREF>
196 <PREF NAME="editor.eiffel.colors.feature_background_color" DESCRIPTION="Background color for features."><COLOR>255;255;255</COLOR></PREF>
197 <PREF NAME="editor.eiffel.colors.cluster_text_color" DESCRIPTION="Foreground color for clusters."><COLOR>128;0;0</COLOR></PREF>
198 <PREF NAME="editor.eiffel.colors.cluster_background_color" DESCRIPTION="Background color for clusters."><COLOR>255;255;255</COLOR></PREF>
199 <PREF NAME="editor.eiffel.colors.error_text_color" DESCRIPTION="Foreground color for errors."><COLOR>255;0;0</COLOR></PREF>
200 <PREF NAME="editor.eiffel.colors.error_background_color" DESCRIPTION="Background color for errors."><COLOR>255;255;255</COLOR></PREF>
201 <PREF NAME="editor.eiffel.colors.object_text_color" DESCRIPTION="Foreground color for object addresses."><COLOR>0;0;255</COLOR></PREF>
202 <PREF NAME="editor.eiffel.colors.object_background_color" DESCRIPTION="Background color for object addresses."><COLOR>255;255;255</COLOR></PREF>
203
204 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.autocomplete_indexing" DESCRIPTION="Autocomplete indexing?"><BOOLEAN>True</BOOLEAN></PREF>
205 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.use_default_indexing" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
206 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
207 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
208 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
209 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
210
211 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.autocomplete_class" DESCRIPTION="Autocomplete class?"><BOOLEAN>True</BOOLEAN></PREF>
212 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.use_default_class" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
213 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
214 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
215 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
216 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
217
218 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.autocomplete_inherit" DESCRIPTION="Autocomplete inherit?"><BOOLEAN>True</BOOLEAN></PREF>
219 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.use_default_inherit" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
220 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
221 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
222 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
223 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
224
225 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.autocomplete_creation" DESCRIPTION="Autocomplete creation?"><BOOLEAN>True</BOOLEAN></PREF>
226 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.use_default_creation" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
227 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
228 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
229 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
230 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
231
232 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.autocomplete_feature" DESCRIPTION="Autocomplete feature?"><BOOLEAN>True</BOOLEAN></PREF>
233 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.use_default_feature" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
234 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
235 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
236 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
237 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
238
239 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.autocomplete_is" DESCRIPTION="Autocomplete is?"><BOOLEAN>True</BOOLEAN></PREF>
240 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.use_default_is" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
241 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
242 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T%T-- $cursor$%N$indent$%T</STRING></PREF>
243 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
244 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
245
246 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.autocomplete_require" DESCRIPTION="Autocomplete require?"><BOOLEAN>True</BOOLEAN></PREF>
247 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.use_default_require" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
248 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
249 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
250 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
251 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
252
253 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.autocomplete_require_else" DESCRIPTION="Autocomplete require else?"><BOOLEAN>True</BOOLEAN></PREF>
254 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.use_default_require_else" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
255 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.custom_require_else_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
256 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.custom_require_else_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
257 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.custom_require_else_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
258 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.custom_require_else_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
259
260 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.autocomplete_local" DESCRIPTION="Autocomplete local?"><BOOLEAN>True</BOOLEAN></PREF>
261 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.use_default_local" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
262 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
263 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
264 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
265 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
266
267 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.autocomplete_do" DESCRIPTION="Autocomplete do?"><BOOLEAN>True</BOOLEAN></PREF>
268 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.use_default_do" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
269 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.custom_do_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
270 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.custom_do_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
271 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.custom_do_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
272 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.custom_do_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
273
274 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.autocomplete_once" DESCRIPTION="Autocomplete once?"><BOOLEAN>True</BOOLEAN></PREF>
275 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.use_default_once" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
276 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
277 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
278 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
279 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
280
281 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.autocomplete_deferred" DESCRIPTION="Autocomplete deferred?"><BOOLEAN>True</BOOLEAN></PREF>
282 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.use_default_deferred" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
283 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.custom_deferred_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> end$cursor$</STRING></PREF>
284 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.custom_deferred_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$end$cursor$</STRING></PREF>
285 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.custom_deferred_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
286 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.custom_deferred_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
287
288 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.autocomplete_external" DESCRIPTION="Autocomplete external?"><BOOLEAN>True</BOOLEAN></PREF>
289 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.use_default_external" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
290 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.custom_external_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$" end</STRING></PREF>
291 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.custom_external_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"%N$indent$end</STRING></PREF>
292 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.custom_external_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
293 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.custom_external_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
294
295 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.autocomplete_rescue" DESCRIPTION="Autocomplete rescue?"><BOOLEAN>True</BOOLEAN></PREF>
296 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.use_default_rescue" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
297 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
298 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
299 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
300 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
301
302 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.autocomplete_ensure" DESCRIPTION="Autocomplete ensure?"><BOOLEAN>True</BOOLEAN></PREF>
303 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.use_default_ensure" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
304 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
305 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
306 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
307 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
308
309 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.autocomplete_ensure_then" DESCRIPTION="Autocomplete ensure then?"><BOOLEAN>True</BOOLEAN></PREF>
310 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.use_default_ensure_then" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
311 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.custom_ensure_then_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
312 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.custom_ensure_then_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
313 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.custom_ensure_then_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
314 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.custom_ensure_then_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
315
316 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.autocomplete_alias" DESCRIPTION="Autocomplete alias?"><BOOLEAN>True</BOOLEAN></PREF>
317 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.use_default_alias" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
318 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
319 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"</STRING></PREF>
320 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
321 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
322
323 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.autocomplete_if" DESCRIPTION="Autocomplete if?"><BOOLEAN>True</BOOLEAN></PREF>
324 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.use_default_if" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
325 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.custom_if_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T%N$indent$end</STRING></PREF>
326 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.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>
327 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.custom_if_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
328 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.custom_if_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
329
330 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.autocomplete_then" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
331 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.use_default_then" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
332 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
333 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
334 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
335 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
336
337 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.autocomplete_elseif" DESCRIPTION="Autocomplete else if?"><BOOLEAN>True</BOOLEAN></PREF>
338 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.use_default_elseif" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
339 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.custom_elseif_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T</STRING></PREF>
340 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.custom_elseif_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></PREF>
341 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.custom_elseif_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
342 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.custom_elseif_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
343
344 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.autocomplete_else" DESCRIPTION="Autocomplete else?"><BOOLEAN>True</BOOLEAN></PREF>
345 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.use_default_else" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
346 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
347 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
348 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
349 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
350
351 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.autocomplete_inspect" DESCRIPTION="Autocomplete inspect?"><BOOLEAN>True</BOOLEAN></PREF>
352 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.use_default_inspect" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
353 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.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>
354 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.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>
355 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.custom_inspect_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
356 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.custom_inspect_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
357
358 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.autocomplete_when" DESCRIPTION="Autocomplete when?"><BOOLEAN>True</BOOLEAN></PREF>
359 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.use_default_when" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
360 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.custom_when_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ then%N$indent$%T</STRING></PREF>
361 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.custom_when_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$then%N$indent$%T</STRING></PREF>
362 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.custom_when_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
363 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.custom_when_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
364
365 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.autocomplete_from" DESCRIPTION="Autocomplete from?"><BOOLEAN>True</BOOLEAN></PREF>
366 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.use_default_from" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
367 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.custom_from_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$%N$indent$until%N$indent$loop%N$indent$end</STRING></PREF>
368 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.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>
369 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.custom_from_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
370 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.custom_from_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
371
372 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.autocomplete_variant" DESCRIPTION="Autocomplete variant?"><BOOLEAN>True</BOOLEAN></PREF>
373 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.use_default_variant" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
374 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
375 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
376 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
377 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
378
379 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.autocomplete_until" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
380 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.use_default_until" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
381 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
382 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
383 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
384 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
385
386 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.autocomplete_loop" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
387 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.use_default_loop" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
388 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
389 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
390 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
391 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
392
393 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.autocomplete_debug" DESCRIPTION="Autocomplete debug?"><BOOLEAN>True</BOOLEAN></PREF>
394 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.use_default_debug" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
395 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.custom_debug_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
396 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.custom_debug_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
397 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.custom_debug_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
398 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.custom_debug_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
399
400 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.autocomplete_check" DESCRIPTION="Autocomplete check?"><BOOLEAN>True</BOOLEAN></PREF>
401 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.use_default_check" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
402 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.custom_check_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$ end</STRING></PREF>
403 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.custom_check_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$%N$indent$end</STRING></PREF>
404 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.custom_check_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
405 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.custom_check_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
406
407 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.autocomplete_rename" DESCRIPTION="Autocomplete rename?"><BOOLEAN>True</BOOLEAN></PREF>
408 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.use_default_rename" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
409 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
410 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
411 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
412 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
413
414 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.autocomplete_redefine" DESCRIPTION="Autocomplete redefine?"><BOOLEAN>True</BOOLEAN></PREF>
415 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.use_default_redefine" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
416 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
417 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
418 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
419 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
420
421 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.autocomplete_undefine" DESCRIPTION="Autocomplete undefine?"><BOOLEAN>True</BOOLEAN></PREF>
422 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.use_default_undefine" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
423 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
424 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
425 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
426 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
427
428 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.autocomplete_select" DESCRIPTION="Autocomplete select?"><BOOLEAN>True</BOOLEAN></PREF>
429 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.use_default_select" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
430 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
431 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
432 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
433 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
434
435 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.autocomplete_export" DESCRIPTION="Autocomplete export?"><BOOLEAN>True</BOOLEAN></PREF>
436 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.use_default_export" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
437 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
438 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
439 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
440 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
441
442 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.autocomplete_precursor" DESCRIPTION="Autocomplete Precursor?"><BOOLEAN>True</BOOLEAN></PREF>
443 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.use_default_precursor" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
444 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> {$cursor$}</STRING></PREF>
445 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$$cursor$</STRING></PREF>
446 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
447 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
448
449 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.autocomplete_create" DESCRIPTION="Autocomplete create?"><BOOLEAN>True</BOOLEAN></PREF>
450 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.use_default_create" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
451 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
452 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
453 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
454 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
455
456 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.autocomplete_obsolete" DESCRIPTION="Autocomplete obsolete?"><BOOLEAN>True</BOOLEAN></PREF>
457 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.use_default_obsolete" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
458 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
459 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T"$cursor$"</STRING></PREF>
460 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
461 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
462
463 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.autocomplete_invariant" DESCRIPTION="Autocomplete invariant?"><BOOLEAN>True</BOOLEAN></PREF>
464 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.use_default_invariant" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
465 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
466 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$%T$cursor$</STRING></PREF>
467 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
468 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
469
470 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.autocomplete_end" DESCRIPTION="Autocomplete end?"><BOOLEAN>False</BOOLEAN></PREF>
471 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.use_default_end" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
472 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
473 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_return" DESCRIPTION="Customized autocomplete (Return after keyword was typed)"><STRING>%N$indent$$cursor$</STRING></PREF>
474 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
475 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
476
477 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_key" DESCRIPTION="Key"><STRING>Space</STRING></PREF>
478 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
479 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
480 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
481
482 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_key" DESCRIPTION="Key">class_autocomplete_shortcut_key<STRING>Space</STRING></PREF>
483 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
484 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
485 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
486
487 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
488 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
489 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
490 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
491
492 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
493 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
494 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
495 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
496
497 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
498 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
499 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
500 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
501
502 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_key" DESCRIPTION="Key"><STRING>F</STRING></PREF>
503 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
504 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>True</BOOLEAN></PREF>
505 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
506
507 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_quick_search_bar.shortcut_key" DESCRIPTION="Key"><STRING>F</STRING></PREF>
508 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_quick_search_bar.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
509 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_quick_search_bar.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
510 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_quick_search_bar.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
511
512 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_key" DESCRIPTION="Key"><STRING>H</STRING></PREF>
513 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
514 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
515 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
516
517 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_1" DESCRIPTION="String to be inserted." RESTART="True"><STRING></STRING></PREF>
518 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
519 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
520 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
521 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
522
523 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_2" DESCRIPTION="String to be inserted." RESTART="True"><STRING></STRING></PREF>
524 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
525 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
526 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
527 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
528
529 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_3" DESCRIPTION="String to be inserted." RESTART="True"><STRING></STRING></PREF>
530 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
531 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
532 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
533 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
534
535
536 <PREF NAME="editor.general.automatic_update" DESCRIPTION="Should we reload the content of a file automatically if no change has been made here and the file has been modified by an external editor?"><BOOLEAN>True</BOOLEAN></PREF>
537 <PREF NAME="editor.general.blinking_cursor" DESCRIPTION="Does text cursor blink?"><BOOLEAN>True</BOOLEAN></PREF>
538 <PREF NAME="editor.general.editor_font" DESCRIPTION="All-purpose editor font."><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
539 <PREF NAME="editor.general.header_font" DESCRIPTION="Editor header font." HIDDEN="True"><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
540 <PREF NAME="editor.general.keyword_font" DESCRIPTION="Keyword editor font"><FONT>Courier New-r-bold-8-typewriter</FONT></PREF>
541 <PREF NAME="editor.general.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>
542 <PREF NAME="editor.general.scrolling_common_line_count" DESCRIPTION="Number of lines that will stay visible when you perform a page down or a page up operation."><INTEGER>1</INTEGER></PREF>
543 <PREF NAME="editor.general.mouse_wheel_scroll_full_page" DESCRIPTION="Does mouse wheel scroll documents a page at a time (If True, it overrides Mouse Wheel Scroll Size)?"><BOOLEAN>False</BOOLEAN></PREF>
544 <PREF NAME="editor.general.mouse_wheel_scroll_size" DESCRIPTION="Number of lines scrolled using the mouse wheel."><INTEGER>3</INTEGER></PREF>
545 <PREF NAME="editor.general.quadruple_click_enabled" DESCRIPTION="Does a quadruple click select the entire document?"><BOOLEAN>True</BOOLEAN></PREF>
546 <PREF NAME="editor.general.remove_trailing_white_space" HIDDEN="true" DESCRIPTION="Automatically remove trailing white space from lines?"><BOOLEAN>True</BOOLEAN></PREF>
547 <PREF NAME="editor.general.smart_identation" DESCRIPTION="Should editor perform auto-indenting?"><BOOLEAN>True</BOOLEAN></PREF>
548 <PREF NAME="editor.general.tab_step" DESCRIPTION="Number of spaces that a tabulation character represents."><INTEGER>4</INTEGER></PREF>
549 <PREF NAME="editor.general.use_tab_for_indentation" DESCRIPTION="Should tab character be used for auto-indentation?"><BOOLEAN>True</BOOLEAN></PREF>
550 <PREF NAME="editor.general.colors.margin_background_color" DESCRIPTION="Background color of line number margin."><COLOR>212;208;200</COLOR></PREF>
551 <PREF NAME="editor.general.colors.margin_separator_color" DESCRIPTION="Color of separator between line number margin and editor."><COLOR>192;192;192</COLOR></PREF>
552 <PREF NAME="editor.general.colors.line_number_text_color" DESCRIPTION="Color of line number text."><COLOR>0;0;0</COLOR></PREF>
553 <PREF NAME="editor.general.colors.cursor_line_highlight_color" HIDDEN="true" DESCRIPTION="Background color used to highlight line with cursor in it."><COLOR>255;128;128</COLOR></PREF>
554 <PREF NAME="editor.general.colors.highlight_color" HIDDEN="true" DESCRIPTION="Background color used to highlight lines."><COLOR>255;255;128</COLOR></PREF>
555 <PREF NAME="editor.general.colors.normal_text_color" DESCRIPTION="Color for normal text."><COLOR>0;0;0</COLOR></PREF>
556 <PREF NAME="editor.general.colors.normal_background_color" DESCRIPTION="Background color for normal text."><COLOR>255;255;255</COLOR></PREF>
557 <PREF NAME="editor.general.colors.selection_text_color" DESCRIPTION="Color of selected text."><COLOR>255;255;128</COLOR></PREF>
558 <PREF NAME="editor.general.colors.selection_background_color" DESCRIPTION="Background color of selected text."><COLOR>0;0;128</COLOR></PREF>
559 <PREF NAME="editor.general.colors.focus_out_selection_background_color" DESCRIPTION="Background color of selected text when not focused."><COLOR>236;233;216</COLOR></PREF>
560 <PREF NAME="editor.general.colors.string_text_color" DESCRIPTION="Color of string text."><COLOR>0;128;128</COLOR></PREF>
561 <PREF NAME="editor.general.colors.string_background_color" DESCRIPTION="Background color of string text."><COLOR>255;255;255</COLOR></PREF>
562 <PREF NAME="editor.general.colors.keyword_text_color" DESCRIPTION="Color of keyword text."><COLOR>0;0;128</COLOR></PREF>
563 <PREF NAME="editor.general.colors.keyword_background_color" DESCRIPTION="Background color of keyword text."><COLOR>auto</COLOR></PREF>
564 <PREF NAME="editor.general.colors.spaces_text_color" DESCRIPTION="Color of space characters."><COLOR>128;128;128</COLOR></PREF>
565 <PREF NAME="editor.general.colors.spaces_background_color" DESCRIPTION="Background color of space characters."><COLOR>auto</COLOR></PREF>
566 <PREF NAME="editor.general.colors.comments_text_color" DESCRIPTION="Color of comments text."><COLOR>128;0;0</COLOR></PREF>
567 <PREF NAME="editor.general.colors.comments_background_color" DESCRIPTION="Background color of coments text."><COLOR>auto</COLOR></PREF>
568 <PREF NAME="editor.general.colors.operator_text_color" DESCRIPTION="Color of operator text."><COLOR>255;0;0</COLOR></PREF>
569 <PREF NAME="editor.general.colors.operator_background_color" DESCRIPTION="Background color of operator text."><COLOR>auto</COLOR></PREF>
570 <PREF NAME="editor.general.colors.number_text_color" DESCRIPTION="Color of number text."><COLOR>128;0;255</COLOR></PREF>
571 <PREF NAME="editor.general.colors.number_background_color" DESCRIPTION="Background color of number text."><COLOR>auto</COLOR></PREF>
572 <PREF NAME="editor.general.use_buffered_line" DESCRIPTION="Indicates if editor line drawing is first buffered and then drawn, or just drawn directly to the screen. If set to True, content will not flicker, but drawing performance will be reduced."><BOOLEAN>True</BOOLEAN></PREF>
573 <PREF NAME="editor.general.show_line_numbers" DESCRIPTION="Indicates if editor displays the line numbers by default."><BOOLEAN>False</BOOLEAN></PREF>
574
575 <PREF NAME="general.external_command_0" DESCRIPTION="First external command." HIDDEN="True"><STRING></STRING></PREF>
576 <PREF NAME="general.external_command_1" DESCRIPTION="Second external command." HIDDEN="True"><STRING></STRING></PREF>
577 <PREF NAME="general.external_command_2" DESCRIPTION="Third external command." HIDDEN="True"><STRING></STRING></PREF>
578 <PREF NAME="general.external_command_3" DESCRIPTION="Forth external command." HIDDEN="True"><STRING></STRING></PREF>
579 <PREF NAME="general.external_command_4" DESCRIPTION="Fifth external command." HIDDEN="True"><STRING></STRING></PREF>
580 <PREF NAME="general.external_command_5" DESCRIPTION="Sixth external command." HIDDEN="True"><STRING></STRING></PREF>
581 <PREF NAME="general.external_command_6" DESCRIPTION="Seventh external command." HIDDEN="True"><STRING></STRING></PREF>
582 <PREF NAME="general.external_command_7" DESCRIPTION="Eighth external command." HIDDEN="True"><STRING></STRING></PREF>
583 <PREF NAME="general.external_command_8" DESCRIPTION="Ninth external command." HIDDEN="True"><STRING></STRING></PREF>
584 <PREF NAME="general.external_command_9" DESCRIPTION="Tenth external command." HIDDEN="True"><STRING></STRING></PREF>
585
586 <PREF NAME="general.acrobat_reader" DESCRIPTION="Command to read Adobe Acrobat files."><STRING>acrobat</STRING></PREF>
587 <PREF NAME="general.internet_browser" DESCRIPTION="Internet browser."><STRING>iexplore.exe $url</STRING></PREF>
588 <PREF NAME="general.shell_command" DESCRIPTION="Command used to launch an external editor."><STRING>notepad $target</STRING></PREF>
589
590 <PREF NAME="general.dynamic_library_window_width" DESCRIPTION="Height of dynamic library window." HIDDEN="True"><INTEGER>450</INTEGER></PREF>
591 <PREF NAME="general.dynamic_library_window_height" DESCRIPTION="Width of dynamic library window." HIDDEN="True"><INTEGER>300</INTEGER></PREF>
592 <PREF NAME="general.preference_window_width" DESCRIPTION="Height of preferences window." HIDDEN="True"><INTEGER>450</INTEGER></PREF>
593 <PREF NAME="general.preference_window_height" DESCRIPTION="Width of preferences window." HIDDEN="True"><INTEGER>300</INTEGER></PREF>
594 <PREF NAME="general.show_hidden_preferences" DESCRIPTION="Show hidden preferences in preference window?" HIDDEN="True"><BOOLEAN>False</BOOLEAN></PREF>
595
596 <PREF NAME="tools.search_tool.init_incremental" DESCRIPTION="Initial status of incremental search."><BOOLEAN>True</BOOLEAN></PREF>
597 <PREF NAME="tools.search_tool.init_match_case" DESCRIPTION="Initial status of match case."><BOOLEAN>False</BOOLEAN></PREF>
598 <PREF NAME="tools.search_tool.init_use_regular_expression" DESCRIPTION="Initial status of using regular_expression"><BOOLEAN>True</BOOLEAN></PREF>
599 <PREF NAME="tools.search_tool.init_whole_word" DESCRIPTION="Initial status of whole word"><BOOLEAN>False</BOOLEAN></PREF>
600 <PREF NAME="tools.search_tool.init_search_backwards" DESCRIPTION="Initial status of search backwards."><BOOLEAN>False</BOOLEAN></PREF>
601 <PREF NAME="tools.search_tool.init_scope" DESCRIPTION="Initial search scope."><LIST>[Current Editor];Whole Project;Custom</LIST></PREF>
602 <PREF NAME="tools.search_tool.init_only_compiled_classes" DESCRIPTION="Initial status of only compiled classes."><BOOLEAN>False</BOOLEAN></PREF>
603 <PREF NAME="tools.search_tool.init_subclusters" DESCRIPTION="Initial status of searching subclusters."><BOOLEAN>False</BOOLEAN></PREF>
604 </EIFFEL_DOCUMENT>

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23