/[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 53383 - (show annotations)
Wed Jul 13 00:27:42 2005 UTC (14 years, 7 months ago) by rogers
File MIME type: text/xml
File size: 88409 byte(s)
A single watch tool is now displayed by default.

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

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23