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

Diff of /trunk/Delivery/eifinit/studio/spec/windows/default.xml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

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

Legend:
Removed from v.49547  
changed lines
  Added in v.49548

  ViewVC Help
Powered by ViewVC 1.1.23