/[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 53512 - (show annotations)
Mon Jul 18 22:32:15 2005 UTC (14 years, 7 months ago) by neilc
File MIME type: text/xml
File size: 89029 byte(s)
Added back missing 'use_animated_icons' preference and renamed restarting preference to better name

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)."><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)."><INTEGER>100</INTEGER></PREF>
7 <PREF NAME="debugger.delay_before_cleaning_objects_grid" DESCRIPTION="Delay in milliseconds before cleaning the Objects tool view"><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 spaces 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)."><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;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0;Search;closed;0;0;0;0;Call Stack;visible;0;0;0;38</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="Number of seconds to wait before cancelling an evaluation."><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>Editor;minimized;0;0;0;0;Context;visible;0;0;0;171;Debugging;visible;0;0;0;218</LIST></PREF>
22 <PREF NAME="debugger.show_text_in_project_toolbar" HIDDEN="true" DESCRIPTION="Should text be shown alongside preselected toolbar items?"><BOOLEAN>True</BOOLEAN></PREF>
23 <PREF NAME="debugger.show_all_text_in_project_toolbar" HIDDEN="true" DESCRIPTION="Should text be shown alongside all toolbar items?"><BOOLEAN>False</BOOLEAN></PREF>
24 <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>
25 <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>
26 <PREF NAME="tools.diagram_tool.bon.bon_class_fill_color" DESCRIPTION="Color for BON class figures."><COLOR>204;204;253</COLOR></PREF>
27 <PREF NAME="tools.diagram_tool.bon.bon_class_uncompiled_fill_color" DESCRIPTION="Color for uncompiled BON class figures."><COLOR>234;234;234</COLOR></PREF>
28 <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>
29 <PREF NAME="tools.diagram_tool.bon.bon_class_generics_color" DESCRIPTION="Color for generics in BON class figures."><COLOR>0;0;0</COLOR></PREF>
30 <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>
31 <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>
32 <PREF NAME="tools.diagram_tool.bon.bon_client_color" DESCRIPTION="Color for BON client supplier links."><COLOR>69;166;11</COLOR></PREF>
33 <PREF NAME="tools.diagram_tool.bon.bon_client_line_width" DESCRIPTION="Line width for BON client supplier links."><INTEGER>5</INTEGER></PREF>
34 <PREF NAME="tools.diagram_tool.bon.bon_cluster_line_color" DESCRIPTION="Color for BON cluster line."><COLOR>100;97;28</COLOR></PREF>
35 <PREF NAME="tools.diagram_tool.bon.bon_cluster_iconified_fill_color" DESCRIPTION="Iconified BON Cluster fill color."><COLOR>240;240;255</COLOR></PREF>
36 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_area_color" DESCRIPTION="BON cluster name area fill color."><COLOR>254;253;203</COLOR></PREF>
37 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_color" DESCRIPTION="BON cluster name color."><COLOR>0;0;0</COLOR></PREF>
38 <PREF NAME="tools.diagram_tool.bon.bon_cluster_name_font" DESCRIPTION="BON cluster name font."><FONT>Arial-r-bold-10-sans</FONT></PREF>
39 <PREF NAME="tools.diagram_tool.bon.bon_inheritance_color" DESCRIPTION="Color for BON inheritance links."><COLOR>230;0;0</COLOR></PREF>
40 <PREF NAME="tools.diagram_tool.bon.bon_inheritance_line_width" DESCRIPTION="Line width for BON inheritance links."><INTEGER>2</INTEGER></PREF>
41 <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>
42 <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>
43 <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>
44 <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>
45 <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>
46 <PREF NAME="tools.diagram_tool.uml.uml_class_fill_color" DESCRIPTION="Color for UML class figures."><COLOR>255;255;255</COLOR></PREF>
47 <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>
48 <PREF NAME="tools.diagram_tool.uml.uml_generics_color" DESCRIPTION="Color for generics in UML class figures."><COLOR>180;0;0</COLOR></PREF>
49 <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>
50 <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>
51 <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>
52 <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>
53 <PREF NAME="tools.diagram_tool.uml.uml_client_line_width" DESCRIPTION="Line width for UML client supplier links."><INTEGER>1</INTEGER></PREF>
54 <PREF NAME="tools.diagram_tool.uml.uml_client_color" DESCRIPTION="Color for UML client supplier links."><COLOR>0;0;0</COLOR></PREF>
55 <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>
56 <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>
57 <PREF NAME="tools.diagram_tool.uml.uml_cluster_line_color" DESCRIPTION="Color for UML cluster line."><COLOR>0;0;0</COLOR></PREF>
58 <PREF NAME="tools.diagram_tool.uml.uml_cluster_iconified_fill_color" DESCRIPTION="Iconified UML Cluster fill color."><COLOR>255;255;255</COLOR></PREF>
59 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_area_color" DESCRIPTION="UML cluster name area fill color."><COLOR>255;255;255</COLOR></PREF>
60 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_color" DESCRIPTION="UML cluster name color."><COLOR>0;0;0</COLOR></PREF>
61 <PREF NAME="tools.diagram_tool.uml.uml_cluster_name_font" DESCRIPTION="UML cluster name font."><FONT>Arial-r-regular-10-sans</FONT></PREF>
62 <PREF NAME="tools.diagram_tool.uml.uml_inheritance_line_width" DESCRIPTION="Line width for UML inheritance links."><INTEGER>1</INTEGER></PREF>
63 <PREF NAME="tools.diagram_tool.uml.uml_inheritance_color" DESCRIPTION="Color for UML inheritance links."><COLOR>0;0;0</COLOR></PREF>
64
65 <PREF NAME="tools.diagram_tool.ancestor_depth" DESCRIPTION="Show ancestors of a class up to a level of preference value."><INTEGER>1</INTEGER></PREF>
66 <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>
67 <PREF NAME="tools.diagram_tool.client_depth" DESCRIPTION="Show clients of a class up to a level of preference value."><INTEGER>0</INTEGER></PREF>
68 <PREF NAME="tools.diagram_tool.descendant_depth" DESCRIPTION="Show descendants of a class down to a level of preference value."><INTEGER>1</INTEGER></PREF>
69 <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>
70 <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>
71 <PREF NAME="tools.diagram_tool.ignore_excluded_class_figures" DESCRIPTION="Show ALL classes in the diagram (ignore the following list)?"><BOOLEAN>False</BOOLEAN></PREF>
72 <PREF NAME="tools.diagram_tool.subcluster_depth" DESCRIPTION="Show subclusters of a cluster down to a level of preference value."><INTEGER>1</INTEGER></PREF>
73 <PREF NAME="tools.diagram_tool.supercluster_depth" DESCRIPTION="Show superclusters of a cluster up to a level of preference value."><INTEGER>1</INTEGER></PREF>
74 <PREF NAME="tools.diagram_tool.supplier_depth" DESCRIPTION="Show suppliers of a class up to a level of preference value."><INTEGER>0</INTEGER></PREF>
75
76 <PREF NAME="tools.context_tool.show_all_callers" DESCRIPTION="Show all callers (as opposed to local callers) in `callers' form."><BOOLEAN>True</BOOLEAN></PREF>
77 <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>
78 <PREF NAME="tools.context_tool.default_class_formatter_index" DESCRIPTION="Class format that is selected by default."><INTEGER>5</INTEGER></PREF>
79 <PREF NAME="tools.context_tool.default_feature_formatter_index" DESCRIPTION="Feature format that is selected by default."><INTEGER>2</INTEGER></PREF>
80 <PREF NAME="tools.context_tool.formatters_history_size" DESCRIPTION="Number of cached formatted text in history."><INTEGER>60</INTEGER></PREF>
81
82 <PREF NAME="interface.dialogs.confirm_on_exit" DESCRIPTION="Display confirmation dialog on exit."><BOOLEAN>True</BOOLEAN></PREF>
83 <PREF NAME="interface.dialogs.confirm_finalize" DESCRIPTION="Display confirmation dialog for C compilation on finalize operation."><BOOLEAN>True</BOOLEAN></PREF>
84 <PREF NAME="interface.dialogs.confirm_freeze" DESCRIPTION="Display confirmation dialog for C compilation on freeze operation."><BOOLEAN>True</BOOLEAN></PREF>
85 <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>
86 <PREF NAME="interface.dialogs.confirm_finalize_assertions" DESCRIPTION="Display confirmation dialog for assertions on finalize operation."><BOOLEAN>True</BOOLEAN></PREF>
87 <PREF NAME="interface.dialogs.confirm_clear_breakpoints" DESCRIPTION="Display confirmation dialog on clearing breakpoints."><BOOLEAN>True</BOOLEAN></PREF>
88 <PREF NAME="interface.dialogs.confirm_ignore_all_breakpoints" DESCRIPTION="Display confirmation dialog when starting the application without stopping at breakpoints."><BOOLEAN>True</BOOLEAN></PREF>
89 <PREF NAME="interface.dialogs.confirm_convert_project" DESCRIPTION="Display confirmation dialog before converting an old project."><BOOLEAN>True</BOOLEAN></PREF>
90 <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>
91 <PREF NAME="interface.dialogs.confirm_finalize_precompile" DESCRIPTION="Display confirmation dialog for finalizing a .NET precompiled library."><BOOLEAN>True</BOOLEAN></PREF>
92 <PREF NAME="interface.dialogs.show_starting_dialog" DESCRIPTION="Display New/Open project dialog at startup."><BOOLEAN>True</BOOLEAN></PREF>
93 <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."><BOOLEAN>True</BOOLEAN></PREF>
94 <PREF NAME="interface.dialogs.generate_homonyms" DESCRIPTION="Display dialog that warns that homonym format can take a long time."><BOOLEAN>True</BOOLEAN></PREF>
95 <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>
96 <PREF NAME="interface.dialogs.confirm_kill" DESCRIPTION="Display dialog before killing a debugged application."><BOOLEAN>True</BOOLEAN></PREF>
97 <PREF NAME="interface.dialogs.already_editing_class" DESCRIPTION="Display dialog when editing the same class in two development windows."><BOOLEAN>True</BOOLEAN></PREF>
98 <PREF NAME="interface.dialogs.executing_command" DESCRIPTION="Display dialog while running an external command."><BOOLEAN>True</BOOLEAN></PREF>
99
100 <PREF NAME="interface.development_window.class_completion" DESCRIPTION="Allow class name completion in the address combo boxes?"><BOOLEAN>True</BOOLEAN></PREF>
101 <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>
102 <PREF NAME="interface.development_window.dock_tracking" DESCRIPTION="Docked tools track main window?"><BOOLEAN>True</BOOLEAN></PREF>
103 <PREF NAME="interface.development_window.editor_left_side" DESCRIPTION="Display editor on left? (Requires restart)"><BOOLEAN>False</BOOLEAN></PREF>
104 <PREF NAME="interface.development_window.expand_feature_tree" DESCRIPTION="Automatically expand the feature tree."><BOOLEAN>True</BOOLEAN></PREF>
105 <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>
106 <PREF NAME="interface.development_window.graphical_output_disabled" DESCRIPTION="Disable graphical output."><BOOLEAN>False</BOOLEAN></PREF>
107 <PREF NAME="interface.development_window.is_maximized" HIDDEN="true" DESCRIPTION="Is window maximized?"><BOOLEAN>False</BOOLEAN></PREF>
108 <PREF NAME="interface.development_window.last_browsed_cluster_directory" HIDDEN="true" DESCRIPTION="Directory of last browsed cluster."><STRING></STRING></PREF>
109 <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;Favorites;closed;0;0;0;0;Windows;closed;0;0;0;0;Search;closed;0;0;0;0</LIST></PREF>
110 <PREF NAME="interface.development_window.left_panel_use_explorer_style" DESCRIPTION="Show only one tool (Features, Clusters, Search, Windows) at a time. (Requires restart)"><BOOLEAN>False</BOOLEAN></PREF>
111 <PREF NAME="interface.development_window.maximum_history_size" DESCRIPTION="Maximum number of items displayed in the history combo boxes."><INTEGER>20</INTEGER></PREF>
112 <PREF NAME="interface.development_window.progress_bar_color" DESCRIPTION="Color for progress bar."><COLOR>0;0;128</COLOR></PREF>
113 <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>
114 <PREF NAME="interface.development_window.right_panel_layout" HIDDEN="true" DESCRIPTION="Items/tools information for editor panel."><LIST>Editor;visible;0;0;0;266;Context;visible;0;0;0;250</LIST></PREF>
115 <PREF NAME="interface.development_window.search_tool_show_options" DESCRIPTION="Should search options be shown in search tool?"><BOOLEAN>True</BOOLEAN></PREF>
116 <PREF NAME="interface.development_window.show_address_toolbar" DESCRIPTION="Should address toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
117 <PREF NAME="interface.development_window.show_all_text_in_general_toolbar" DESCRIPTION="Is text of toolbar items displayed?"><BOOLEAN>False</BOOLEAN></PREF>
118 <PREF NAME="interface.development_window.show_project_toolbar" DESCRIPTION="Should project toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
119 <PREF NAME="interface.development_window.show_general_toolbar" DESCRIPTION="Should general toolbar be shown?"><BOOLEAN>True</BOOLEAN></PREF>
120 <PREF NAME="interface.development_window.show_text_in_general_toolbar" DESCRIPTION="Should selective text of toolbar items in general toolbar?"><BOOLEAN>True</BOOLEAN></PREF>
121 <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;Context__visible;Separator;Send_to_context__visible;New_cluster__hidden;Remove_class_cluster__hidden;Favorites__hidden;Windows__hidden;Toggle_stone__hidden;Raise_all__hidden;Minimize_all__hidden;Print__hidden</LIST></PREF>
122 <PREF NAME="interface.development_window.unified_stone" DESCRIPTION="Link the context tool with other components by default?"><BOOLEAN>False</BOOLEAN></PREF>
123 <PREF NAME="interface.development_window.use_animated_icons" DESCRIPTION="Should the window status bar use animated icons?"><BOOLEAN>False</BOOLEAN></PREF>
124
125 <PREF NAME="interface.development_window.window_left_panel_width" HIDDEN="true" DESCRIPTION="Width of navigation panel"><INTEGER>100</INTEGER></PREF>
126 <PREF NAME="interface.development_window.width" DESCRIPTION="Width of development window." HIDDEN="true"><INTEGER>950</INTEGER></PREF>
127 <PREF NAME="interface.development_window.height" DESCRIPTION="Height of development window." HIDDEN="true"><INTEGER>700</INTEGER></PREF>
128 <PREF NAME="interface.development_window.x_position" DESCRIPTION="Screen x position of development window." HIDDEN="true"><INTEGER>50</INTEGER></PREF>
129 <PREF NAME="interface.development_window.y_position" DESCRIPTION="Screen y position of development window." HIDDEN="true"><INTEGER>50</INTEGER></PREF>
130 <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>
131 <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>
132
133 <PREF NAME="recent_projects.last_opened_projects" DESCRIPTION="List of recently opened projects."><LIST></LIST></PREF>
134 <PREF NAME="recent_projects.keep_n_projects" DESCRIPTION="Number of recent projects to keep in the list."><INTEGER>10</INTEGER></PREF>
135
136 <PREF NAME="editor.eiffel.auto-complete_brackets_and_parentheses" DESCRIPTION="Are brackets and parentheses closed automatically?"><BOOLEAN>False</BOOLEAN></PREF>
137 <PREF NAME="editor.eiffel.auto-complete_quotes" DESCRIPTION="Are quotes closed automatically?"><BOOLEAN>False</BOOLEAN></PREF>
138 <PREF NAME="editor.eiffel.auto_auto-complete" DESCRIPTION="Should completion window appear automatically after typing a `.'?"><BOOLEAN>True</BOOLEAN></PREF>
139 <PREF NAME="editor.eiffel.auto_complete_words" DESCRIPTION="Should completion automatically complete words when a single best match is available?"><BOOLEAN>True</BOOLEAN></PREF>
140 <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>
141 <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>
142 <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>
143 <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>
144 <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>
145 <PREF NAME="editor.eiffel.show_ANY_features" DESCRIPTION="Do features of class ANY appear in the feature call complete window?"><BOOLEAN>False</BOOLEAN></PREF>
146 <PREF NAME="editor.eiffel.show_completion_signature" DESCRIPTION="Does completion list show feature signatures?"><BOOLEAN>True</BOOLEAN></PREF>
147 <PREF NAME="editor.eiffel.show_completion_type" DESCRIPTION="Does completion list show query return type?"><BOOLEAN>True</BOOLEAN></PREF>
148 <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>
149 <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>
150 <PREF NAME="editor.eiffel.editor" DESCRIPTION="Command to open an external editor."><STRING>notepad</STRING></PREF>
151 <PREF NAME="editor.eiffel.underscore_is_separator" DESCRIPTION="Is underscore `_' used as a word separator?"><BOOLEAN>False</BOOLEAN></PREF>
152
153 <PREF NAME="editor.eiffel.colors.normal_text_color" DESCRIPTION="Foreground color for normal text."><COLOR>0;0;0</COLOR></PREF>
154 <PREF NAME="editor.eiffel.colors.normal_background_color" DESCRIPTION="Background color for normal text."><COLOR>255;255;255</COLOR></PREF>
155 <PREF NAME="editor.eiffel.colors.selection_text_color" DESCRIPTION="Foreground color for selected text."><COLOR>255;255;128</COLOR></PREF>
156 <PREF NAME="editor.eiffel.colors.selection_background_color" DESCRIPTION="Background color for selected text."><COLOR>0;0;128</COLOR></PREF>
157 <PREF NAME="editor.eiffel.colors.string_text_color" DESCRIPTION="Foreground color for manifest strings."><COLOR>0;128;128</COLOR></PREF>
158 <PREF NAME="editor.eiffel.colors.string_background_color" DESCRIPTION="Background color for manifest strings."><COLOR>255;255;255</COLOR></PREF>
159 <PREF NAME="editor.eiffel.colors.keyword_text_color" DESCRIPTION="Foreground color for keywords."><COLOR>0;0;128</COLOR></PREF>
160 <PREF NAME="editor.eiffel.colors.keyword_background_color" DESCRIPTION="Background color for keywords."><COLOR>255;255;255</COLOR></PREF>
161 <PREF NAME="editor.eiffel.colors.spaces_text_color" DESCRIPTION="Foreground color for spaces."><COLOR>0;0;0</COLOR></PREF>
162 <PREF NAME="editor.eiffel.colors.spaces_background_color" DESCRIPTION="Background color for spaces."><COLOR>255;255;255</COLOR></PREF>
163 <PREF NAME="editor.eiffel.colors.comments_text_color" DESCRIPTION="Foreground color for comments."><COLOR>128;0;0</COLOR></PREF>
164 <PREF NAME="editor.eiffel.colors.comments_background_color" DESCRIPTION="Background color for comments."><COLOR>255;255;255</COLOR></PREF>
165 <PREF NAME="editor.eiffel.colors.number_text_color" DESCRIPTION="Foreground color for numbers."><COLOR>0;0;0</COLOR></PREF>
166 <PREF NAME="editor.eiffel.colors.number_background_color" DESCRIPTION="Background color for numbers."><COLOR>255;255;255</COLOR></PREF>
167 <PREF NAME="editor.eiffel.colors.operator_text_color" DESCRIPTION="Foreground color for operators."><COLOR>0;0;0</COLOR></PREF>
168 <PREF NAME="editor.eiffel.colors.operator_background_color" DESCRIPTION="Background color for operators."><COLOR>255;255;255</COLOR></PREF>
169 <PREF NAME="editor.eiffel.colors.breakpoint_background_color" DESCRIPTION="Color for breakable marks and breakpoints."><COLOR>212;208;200</COLOR></PREF>
170 <PREF NAME="editor.eiffel.colors.assertion_tag_text_color" DESCRIPTION="Foreground color for assertion tags."><COLOR>64;0;0</COLOR></PREF>
171 <PREF NAME="editor.eiffel.colors.assertion_tag_background_color" DESCRIPTION="Background color for assertion tags."><COLOR>255;255;255</COLOR></PREF>
172 <PREF NAME="editor.eiffel.colors.indexing_tag_text_color" DESCRIPTION="Foreground color for indexing tags."><COLOR>64;0;0</COLOR></PREF>
173 <PREF NAME="editor.eiffel.colors.indexing_tag_background_color" DESCRIPTION="Background color for indexing tags."><COLOR>255;255;255</COLOR></PREF>
174 <PREF NAME="editor.eiffel.colors.reserved_text_color" DESCRIPTION="Foreground color for reserved words."><COLOR>64;0;0</COLOR></PREF>
175 <PREF NAME="editor.eiffel.colors.reserved_background_color" DESCRIPTION="Background color for reserved words."><COLOR>255;255;255</COLOR></PREF>
176 <PREF NAME="editor.eiffel.colors.generic_text_color" DESCRIPTION="Foreground color for generics."><COLOR>255;0;0</COLOR></PREF>
177 <PREF NAME="editor.eiffel.colors.generic_background_color" DESCRIPTION="Background color for generics."><COLOR>255;255;255</COLOR></PREF>
178 <PREF NAME="editor.eiffel.colors.local_text_color" DESCRIPTION="Foreground color for locals."><COLOR>64;0;0</COLOR></PREF>
179 <PREF NAME="editor.eiffel.colors.local_background_color" DESCRIPTION="Background color for locals."><COLOR>255;255;255</COLOR></PREF>
180 <PREF NAME="editor.eiffel.colors.class_text_color" DESCRIPTION="Foreground color for classes."><COLOR>0;0;255</COLOR></PREF>
181 <PREF NAME="editor.eiffel.colors.class_background_color" DESCRIPTION="Background color for classes."><COLOR>255;255;255</COLOR></PREF>
182 <PREF NAME="editor.eiffel.colors.feature_text_color" DESCRIPTION="Foreground color for features."><COLOR>0;128;0</COLOR></PREF>
183 <PREF NAME="editor.eiffel.colors.feature_background_color" DESCRIPTION="Background color for features."><COLOR>255;255;255</COLOR></PREF>
184 <PREF NAME="editor.eiffel.colors.cluster_text_color" DESCRIPTION="Foreground color for clusters."><COLOR>128;0;0</COLOR></PREF>
185 <PREF NAME="editor.eiffel.colors.cluster_background_color" DESCRIPTION="Background color for clusters."><COLOR>255;255;255</COLOR></PREF>
186 <PREF NAME="editor.eiffel.colors.error_text_color" DESCRIPTION="Foreground color for errors."><COLOR>255;0;0</COLOR></PREF>
187 <PREF NAME="editor.eiffel.colors.error_background_color" DESCRIPTION="Background color for errors."><COLOR>255;255;255</COLOR></PREF>
188 <PREF NAME="editor.eiffel.colors.object_text_color" DESCRIPTION="Foreground color for objects."><COLOR>0;0;255</COLOR></PREF>
189 <PREF NAME="editor.eiffel.colors.object_background_color" DESCRIPTION="Background color for objects."><COLOR>255;255;255</COLOR></PREF>
190
191 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.autocomplete_indexing" DESCRIPTION="Autocomplete indexing?"><BOOLEAN>True</BOOLEAN></PREF>
192 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.use_default_indexing" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
193 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
194 <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>
195 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.indexing.custom_indexing_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
196 <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>
197
198 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.autocomplete_class" DESCRIPTION="Autocomplete class?"><BOOLEAN>True</BOOLEAN></PREF>
199 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.use_default_class" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
200 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
201 <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>
202 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.class.custom_class_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
203 <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>
204
205 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.autocomplete_inherit" DESCRIPTION="Autocomplete inherit?"><BOOLEAN>True</BOOLEAN></PREF>
206 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.use_default_inherit" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
207 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
208 <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>
209 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.inherit.custom_inherit_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
210 <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>
211
212 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.autocomplete_creation" DESCRIPTION="Autocomplete creation?"><BOOLEAN>True</BOOLEAN></PREF>
213 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.use_default_creation" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
214 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
215 <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>
216 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.creation.custom_creation_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
217 <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>
218
219 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.autocomplete_feature" DESCRIPTION="Autocomplete feature?"><BOOLEAN>True</BOOLEAN></PREF>
220 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.use_default_feature" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
221 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
222 <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>
223 <PREF NAME="editor.eiffel.autocomplete.class_structure_keywords.feature.custom_feature_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
224 <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>
225
226 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.autocomplete_is" DESCRIPTION="Autocomplete is?"><BOOLEAN>True</BOOLEAN></PREF>
227 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.use_default_is" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
228 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
229 <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>
230 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.is.custom_is_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
231 <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>
232
233 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.autocomplete_require" DESCRIPTION="Autocomplete require?"><BOOLEAN>True</BOOLEAN></PREF>
234 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.use_default_require" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
235 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
236 <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>
237 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require.custom_require_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
238 <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>
239
240 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.autocomplete_require_else" DESCRIPTION="Autocomplete require else?"><BOOLEAN>True</BOOLEAN></PREF>
241 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.require_else.use_default_require_else" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
242 <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>
243 <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>
244 <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>
245 <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>
246
247 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.autocomplete_local" DESCRIPTION="Autocomplete local?"><BOOLEAN>True</BOOLEAN></PREF>
248 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.use_default_local" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
249 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
250 <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>
251 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.local.custom_local_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
252 <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>
253
254 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.autocomplete_do" DESCRIPTION="Autocomplete do?"><BOOLEAN>True</BOOLEAN></PREF>
255 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.use_default_do" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
256 <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>
257 <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>
258 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.do.custom_do_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
259 <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>
260
261 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.autocomplete_once" DESCRIPTION="Autocomplete once?"><BOOLEAN>True</BOOLEAN></PREF>
262 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.use_default_once" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
263 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
264 <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>
265 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.once.custom_once_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
266 <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>
267
268 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.autocomplete_deferred" DESCRIPTION="Autocomplete deferred?"><BOOLEAN>True</BOOLEAN></PREF>
269 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.use_default_deferred" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
270 <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>
271 <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>
272 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.deferred.custom_deferred_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
273 <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>
274
275 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.autocomplete_external" DESCRIPTION="Autocomplete external?"><BOOLEAN>True</BOOLEAN></PREF>
276 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.use_default_external" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
277 <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>
278 <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>
279 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.external.custom_external_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
280 <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>
281
282 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.autocomplete_rescue" DESCRIPTION="Autocomplete rescue?"><BOOLEAN>True</BOOLEAN></PREF>
283 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.use_default_rescue" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
284 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
285 <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>
286 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.rescue.custom_rescue_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
287 <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>
288
289 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.autocomplete_ensure" DESCRIPTION="Autocomplete ensure?"><BOOLEAN>True</BOOLEAN></PREF>
290 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.use_default_ensure" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
291 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
292 <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>
293 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure.custom_ensure_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
294 <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>
295
296 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.autocomplete_ensure_then" DESCRIPTION="Autocomplete ensure then?"><BOOLEAN>True</BOOLEAN></PREF>
297 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.ensure_then.use_default_ensure_then" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
298 <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>
299 <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>
300 <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>
301 <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>
302
303 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.autocomplete_alias" DESCRIPTION="Autocomplete alias?"><BOOLEAN>True</BOOLEAN></PREF>
304 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.use_default_alias" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
305 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
306 <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>
307 <PREF NAME="editor.eiffel.autocomplete.feature_structure_keywords.alias.custom_alias_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
308 <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>
309
310 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.autocomplete_if" DESCRIPTION="Autocomplete if?"><BOOLEAN>True</BOOLEAN></PREF>
311 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.use_default_if" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
312 <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>
313 <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>
314 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.if.custom_if_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
315 <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>
316
317 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.autocomplete_then" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
318 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.use_default_then" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
319 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
320 <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>
321 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.then.custom_then_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
322 <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>
323
324 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.autocomplete_elseif" DESCRIPTION="Autocomplete else if?"><BOOLEAN>True</BOOLEAN></PREF>
325 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.use_default_elseif" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
326 <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>
327 <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>
328 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.elseif.custom_elseif_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
329 <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>
330
331 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.autocomplete_else" DESCRIPTION="Autocomplete else?"><BOOLEAN>True</BOOLEAN></PREF>
332 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.use_default_else" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
333 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
334 <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>
335 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.else.custom_else_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
336 <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>
337
338 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.autocomplete_inspect" DESCRIPTION="Autocomplete inspect?"><BOOLEAN>True</BOOLEAN></PREF>
339 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.use_default_inspect" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
340 <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>
341 <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>
342 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.inspect.custom_inspect_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
343 <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>
344
345 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.autocomplete_when" DESCRIPTION="Autocomplete when?"><BOOLEAN>True</BOOLEAN></PREF>
346 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.use_default_when" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
347 <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>
348 <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>
349 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.when.custom_when_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
350 <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>
351
352 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.autocomplete_from" DESCRIPTION="Autocomplete from?"><BOOLEAN>True</BOOLEAN></PREF>
353 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.use_default_from" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
354 <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>
355 <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>
356 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.from.custom_from_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
357 <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>
358
359 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.autocomplete_variant" DESCRIPTION="Autocomplete variant?"><BOOLEAN>True</BOOLEAN></PREF>
360 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.use_default_variant" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
361 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
362 <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>
363 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.variant.custom_variant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
364 <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>
365
366 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.autocomplete_until" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
367 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.use_default_until" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
368 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
369 <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>
370 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.until.custom_until_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
371 <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>
372
373 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.autocomplete_loop" DESCRIPTION="Autocomplete then?"><BOOLEAN>True</BOOLEAN></PREF>
374 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.use_default_loop" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
375 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
376 <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>
377 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.loop.custom_loop_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
378 <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>
379
380 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.autocomplete_debug" DESCRIPTION="Autocomplete debug?"><BOOLEAN>True</BOOLEAN></PREF>
381 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.use_default_debug" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
382 <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>
383 <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>
384 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.debug.custom_debug_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
385 <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>
386
387 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.autocomplete_check" DESCRIPTION="Autocomplete check?"><BOOLEAN>True</BOOLEAN></PREF>
388 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.use_default_check" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
389 <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>
390 <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>
391 <PREF NAME="editor.eiffel.autocomplete.control_structure_keywords.check.custom_check_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
392 <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>
393
394 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.autocomplete_rename" DESCRIPTION="Autocomplete rename?"><BOOLEAN>True</BOOLEAN></PREF>
395 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.use_default_rename" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
396 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
397 <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>
398 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.rename.custom_rename_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
399 <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>
400
401 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.autocomplete_redefine" DESCRIPTION="Autocomplete redefine?"><BOOLEAN>True</BOOLEAN></PREF>
402 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.use_default_redefine" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
403 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
404 <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>
405 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.redefine.custom_redefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
406 <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>
407
408 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.autocomplete_undefine" DESCRIPTION="Autocomplete undefine?"><BOOLEAN>True</BOOLEAN></PREF>
409 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.use_default_undefine" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
410 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
411 <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>
412 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.undefine.custom_undefine_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
413 <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>
414
415 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.autocomplete_select" DESCRIPTION="Autocomplete select?"><BOOLEAN>True</BOOLEAN></PREF>
416 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.use_default_select" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
417 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
418 <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>
419 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.select.custom_select_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
420 <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>
421
422 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.autocomplete_export" DESCRIPTION="Autocomplete export?"><BOOLEAN>True</BOOLEAN></PREF>
423 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.use_default_export" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
424 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
425 <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>
426 <PREF NAME="editor.eiffel.autocomplete.inherit_clauses_keywords.export.custom_export_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
427 <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>
428
429 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.autocomplete_precursor" DESCRIPTION="Autocomplete Precursor?"><BOOLEAN>True</BOOLEAN></PREF>
430 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.use_default_precursor" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
431 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> {$cursor$}</STRING></PREF>
432 <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>
433 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
434 <PREF NAME="editor.eiffel.autocomplete.other_keywords.precursor.custom_precursor_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
435
436 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.autocomplete_create" DESCRIPTION="Autocomplete create?"><BOOLEAN>True</BOOLEAN></PREF>
437 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.use_default_create" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
438 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
439 <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>
440 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
441 <PREF NAME="editor.eiffel.autocomplete.other_keywords.create.custom_create_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
442
443 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.autocomplete_obsolete" DESCRIPTION="Autocomplete obsolete?"><BOOLEAN>True</BOOLEAN></PREF>
444 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.use_default_obsolete" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
445 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> "$cursor$"</STRING></PREF>
446 <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>
447 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
448 <PREF NAME="editor.eiffel.autocomplete.other_keywords.obsolete.custom_obsolete_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
449
450 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.autocomplete_invariant" DESCRIPTION="Autocomplete invariant?"><BOOLEAN>True</BOOLEAN></PREF>
451 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.use_default_invariant" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
452 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
453 <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>
454 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
455 <PREF NAME="editor.eiffel.autocomplete.other_keywords.invariant.custom_invariant_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
456
457 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.autocomplete_end" DESCRIPTION="Autocomplete end?"><BOOLEAN>False</BOOLEAN></PREF>
458 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.use_default_end" DESCRIPTION="Use default autocomplete?"><BOOLEAN>True</BOOLEAN></PREF>
459 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_space" DESCRIPTION="Customized autocomplete (Space after keyword was typed)"><STRING> $cursor$</STRING></PREF>
460 <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>
461 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_space_later" DESCRIPTION="Customized autocomplete (Space, other cases)"><STRING> $cursor$</STRING></PREF>
462 <PREF NAME="editor.eiffel.autocomplete.other_keywords.end.custom_end_return_later" DESCRIPTION="Customized autocomplete (Return, other cases)"><STRING>%N$indent$$cursor$</STRING></PREF>
463
464 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_key" DESCRIPTION="Key"><STRING>Space</STRING></PREF>
465 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
466 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
467 <PREF NAME="editor.eiffel.keyboard_shortcuts.autocomplete.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
468
469 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_key" DESCRIPTION="Key">class_autocomplete_shortcut_key<STRING>Space</STRING></PREF>
470 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
471 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
472 <PREF NAME="editor.eiffel.keyboard_shortcuts.class_autocomplete.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
473
474 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
475 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
476 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
477 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_selection.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
478
479 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
480 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
481 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
482 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_last.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
483
484 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_key" DESCRIPTION="Key"><STRING>F3</STRING></PREF>
485 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
486 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
487 <PREF NAME="editor.eiffel.keyboard_shortcuts.search_backward.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
488
489 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_key" DESCRIPTION="Key"><STRING>F</STRING></PREF>
490 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
491 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
492 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_panel.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
493
494 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_key" DESCRIPTION="Key"><STRING>H</STRING></PREF>
495 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
496 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
497 <PREF NAME="editor.eiffel.keyboard_shortcuts.show_search_and_replace_panel.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
498
499 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_1" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
500 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
501 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
502 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
503 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_1.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
504
505 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_2" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
506 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
507 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>True</BOOLEAN></PREF>
508 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
509 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_2.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>False</BOOLEAN></PREF>
510
511 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_string_3" DESCRIPTION="String to be inserted. (Requires restart)"><STRING></STRING></PREF>
512 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_key" DESCRIPTION="Key"><STRING>F2</STRING></PREF>
513 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_ctrl" DESCRIPTION="+ Ctrl"><BOOLEAN>False</BOOLEAN></PREF>
514 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_alt" DESCRIPTION="+ Alt"><BOOLEAN>False</BOOLEAN></PREF>
515 <PREF NAME="editor.eiffel.keyboard_shortcuts.customized_insertion_3.shortcut_shift" DESCRIPTION="+ Shift"><BOOLEAN>True</BOOLEAN></PREF>
516
517
518 <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>
519 <PREF NAME="editor.general.blinking_cursor" DESCRIPTION="Does text cursor blink?"><BOOLEAN>True</BOOLEAN></PREF>
520 <PREF NAME="editor.general.editor_font" DESCRIPTION="All-purpose editor font. (Requires restart)"><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
521 <PREF NAME="editor.general.header_font" DESCRIPTION="Editor header font. (Requires restart)" HIDDEN="True"><FONT>Courier New-r-regular-8-typewriter</FONT></PREF>
522 <PREF NAME="editor.general.keyword_font" DESCRIPTION="Keyword editor font (Requires restart)"><FONT>Courier New-r-bold-8-typewriter</FONT></PREF>
523 <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>
524 <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>
525 <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>
526 <PREF NAME="editor.general.mouse_wheel_scroll_size" DESCRIPTION="Number of lines scrolled using the mouse wheel."><INTEGER>3</INTEGER></PREF>
527 <PREF NAME="editor.general.quadruple_click_enabled" DESCRIPTION="Does a quadruple click select the entire document?"><BOOLEAN>True</BOOLEAN></PREF>
528 <PREF NAME="editor.general.remove_trailing_white_space" HIDDEN="true" DESCRIPTION="Automatically remove trailing white space from lines?"><BOOLEAN>True</BOOLEAN></PREF>
529 <PREF NAME="editor.general.smart_identation" DESCRIPTION="Should editor perform auto-indenting?"><BOOLEAN>True</BOOLEAN></PREF>
530 <PREF NAME="editor.general.tab_step" DESCRIPTION="Number of spaces that a tabulation character represents."><INTEGER>4</INTEGER></PREF>
531 <PREF NAME="editor.general.use_tab_for_indentation" DESCRIPTION="Should tab character be used for auto-indentation?"><BOOLEAN>True</BOOLEAN></PREF>
532 <PREF NAME="editor.general.use_tab_for_indentation" DESCRIPTION="Should tab character be used for auto-indentation?"><BOOLEAN>True</BOOLEAN></PREF>
533 <PREF NAME="editor.general.scrolling_common_line_count" DESCRIPTION="editor.general.scrolling_common_line_count"><INTEGER>1</INTEGER></PREF>
534 <PREF NAME="editor.general.colors.margin_background_color" DESCRIPTION="Background color of line number margin."><COLOR>212;208;200</COLOR></PREF>
535 <PREF NAME="editor.general.colors.margin_separator_color" DESCRIPTION="Color of separator between line number margin and editor."><COLOR>192;192;192</COLOR></PREF>
536 <PREF NAME="editor.general.colors.line_number_text_color" DESCRIPTION="Color of line number text."><COLOR>0;0;0</COLOR></PREF>
537 <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>
538 <PREF NAME="editor.general.colors.highlight_color" HIDDEN="true" DESCRIPTION="Background color used to highlight lines."><COLOR>255;255;128</COLOR></PREF>
539 <PREF NAME="editor.general.colors.normal_text_color" DESCRIPTION="Color for normal text."><COLOR>0;0;0</COLOR></PREF>
540 <PREF NAME="editor.general.colors.normal_background_color" DESCRIPTION="Background color for normal text."><COLOR>255;255;255</COLOR></PREF>
541 <PREF NAME="editor.general.colors.selection_text_color" DESCRIPTION="Color of selected text."><COLOR>255;255;128</COLOR></PREF>
542 <PREF NAME="editor.general.colors.selection_background_color" DESCRIPTION="Background color of selected text."><COLOR>0;0;128</COLOR></PREF>
543 <PREF NAME="editor.general.colors.string_text_color" DESCRIPTION="Color of string text."><COLOR>0;128;128</COLOR></PREF>
544 <PREF NAME="editor.general.colors.string_background_color" DESCRIPTION="Background color of string text."><COLOR>255;255;255</COLOR></PREF>
545 <PREF NAME="editor.general.colors.keyword_text_color" DESCRIPTION="Color of keyword text."><COLOR>0;0;128</COLOR></PREF>
546 <PREF NAME="editor.general.colors.keyword_background_color" DESCRIPTION="Background color of keyword text."><COLOR>255;255;255</COLOR></PREF>
547 <PREF NAME="editor.general.colors.spaces_text_color" DESCRIPTION="Color of space characters."><COLOR>128;128;128</COLOR></PREF>
548 <PREF NAME="editor.general.colors.spaces_background_color" DESCRIPTION="Background color of space characters."><COLOR>255;255;255</COLOR></PREF>
549 <PREF NAME="editor.general.colors.comments_text_color" DESCRIPTION="Color of comments text."><COLOR>128;0;0</COLOR></PREF>
550 <PREF NAME="editor.general.colors.comments_background_color" DESCRIPTION="Background color of coments text."><COLOR>255;255;255</COLOR></PREF>
551 <PREF NAME="editor.general.colors.operator_text_color" DESCRIPTION="Color of operator text."><COLOR>255;0;0</COLOR></PREF>
552 <PREF NAME="editor.general.colors.operator_background_color" DESCRIPTION="Background color of operator text."><COLOR>255;255;255</COLOR></PREF>
553 <PREF NAME="editor.general.colors.number_text_color" DESCRIPTION="Color of number text."><COLOR>128;0;255</COLOR></PREF>
554 <PREF NAME="editor.general.colors.number_background_color" DESCRIPTION="Background color of number text."><COLOR>255;255;255</COLOR></PREF>
555 <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>
556 <PREF NAME="editor.general.show_line_numbers" DESCRIPTION="Indicates if editor displays the line numbers by default."><BOOLEAN>False</BOOLEAN></PREF>
557
558 <PREF NAME="general.external_command_0" DESCRIPTION="First external command." HIDDEN="True"><STRING></STRING></PREF>
559 <PREF NAME="general.external_command_1" DESCRIPTION="Second external command." HIDDEN="True"><STRING></STRING></PREF>
560 <PREF NAME="general.external_command_2" DESCRIPTION="Third external command." HIDDEN="True"><STRING></STRING></PREF>
561 <PREF NAME="general.external_command_3" DESCRIPTION="Forth external command." HIDDEN="True"><STRING></STRING></PREF>
562 <PREF NAME="general.external_command_4" DESCRIPTION="Fifth external command." HIDDEN="True"><STRING></STRING></PREF>
563 <PREF NAME="general.external_command_5" DESCRIPTION="Sixth external command." HIDDEN="True"><STRING></STRING></PREF>
564 <PREF NAME="general.external_command_6" DESCRIPTION="Seventh external command." HIDDEN="True"><STRING></STRING></PREF>
565 <PREF NAME="general.external_command_7" DESCRIPTION="Eighth external command." HIDDEN="True"><STRING></STRING></PREF>
566 <PREF NAME="general.external_command_8" DESCRIPTION="Ninth external command." HIDDEN="True"><STRING></STRING></PREF>
567 <PREF NAME="general.external_command_9" DESCRIPTION="Tenth external command." HIDDEN="True"><STRING></STRING></PREF>
568
569 <PREF NAME="general.acrobat_reader" DESCRIPTION="Command to read Adobe Acrobat files."><STRING>acrobat</STRING></PREF>
570 <PREF NAME="general.internet_browser" DESCRIPTION="Internet browser."><STRING>iexplore.exe $url</STRING></PREF>
571 <PREF NAME="general.shell_command" DESCRIPTION="Command used to launch an external editor."><STRING>notepad $target</STRING></PREF>
572
573 <PREF NAME="general.dynamic_library_window_width" DESCRIPTION="Height of dynamic library window." HIDDEN="True"><INTEGER>450</INTEGER></PREF>
574 <PREF NAME="general.dynamic_library_window_height" DESCRIPTION="Width of dynamic library window." HIDDEN="True"><INTEGER>300</INTEGER></PREF>
575 <PREF NAME="general.preference_window_width" DESCRIPTION="Height of preferences window." HIDDEN="True"><INTEGER>450</INTEGER></PREF>
576 <PREF NAME="general.preference_window_height" DESCRIPTION="Width of preferences window." HIDDEN="True"><INTEGER>300</INTEGER></PREF>
577 <PREF NAME="general.show_hidden_preferences" DESCRIPTION="Show hidden preferences in preference window?" HIDDEN="True"><BOOLEAN>False</BOOLEAN></PREF>
578
579 </EIFFEL_DOCUMENT>

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23