-- **** General preferences **** 
--regular_button_in_toolbar: False
--close_button_in_every_tool: False
--acrobat_reader: "acrobat"
--text_mode: "DOS"
tab_step: 6
editor: "notepad.exe"
--filter_directory: "$ISE_EIFFEL\bench\filters"
--profile_directory: "$ISE_EIFFEL\bench\profiler"
temporary_directory: "c:\tmp"
shell_command: "%"vi%" +$line $target"
filter_name: "RTF"
filter_command: "write.exe $target"
history_size: 20
default_window_position: True
--window_free_list_number: 2
color_list: "black;blue;cyan1;DarkCyan;DarkGreen;DarkGrey;DarkMagenta;DarkRed;DarkYellow;gray;green;magenta;NavyBlue;red;yellow1;white"
--Highlight clickable areas: True

motif_1_2: false
-- **** Project tool preferences **** 
--project_tool_x: 0
--project_tool_y: 0
project_tool_width: 800
project_tool_height: 600
--project_tool_command_bar: True
--project_tool_format_bar: True
--feature_window: True
--object_window: True
--selector_window: True
debugger_feature_height: 200
debugger_object_height: 200
--debugger_show_all_callers: False
debugger_do_flat_in_breakpoints: False
interrupt_every_n_instruction: 1
--raise_on_error: True
--graphical_output_disabled: False

-- **** Explain tool preferences **** 
--explain_tool_width: 440
--explain_tool_height: 500
--explain_tool_bar: True

-- **** System tool preferences **** 
--system_tool_width: 440
--system_tool_height: 500
--system_tool_bar: True
--parse_ace_after_saving: True

-- **** Class tool preferences **** 
--class_tool_width: 490
--class_tool_height: 500
--class_tool_command_bar: True
--class_tool_format_bar: True
--parse_class_after_saving: True
--feature_clause_order: "Initialization;Access;Measurement;Comparison;Status report;Status setting;Cursor movement;Element change;Removal;Resizing;Transformation;Conversion;Duplication;Miscellaneous;Basic operations;Obsolete;Inapplicable;Implementation;*"

-- **** Feature tool preferences **** 
feature_tool_width: 750
feature_tool_height: 400
--show_toolbar: True
--two_lines_toolbar: False
show_all_callers: True
--do_flat_in_breakpoints: True

-- **** Object tool preferences **** 
--object_tool_width: 440
--object_tool_height: 500
--object_tool_bar: True

-- **** Profile tool preferences **** 
profile_tool_width: 350
--profile_tool_height: 490
profile_query_tool_width: 550
--profile_query_tool_height: 500

-- **** Graphical preferences **** 
font: "Verdana,8,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
text_font: "Courier New,8,400,,default,dontcare,ansi,0,0,0,draft,stroke,stroke"
breakable_font: "Courier New,9,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
class_font: "Times New Roman,9,400,i,default,dontcare,ansi,0,0,0,draft,stroke,default"
cluster_font: "Times New Roman,9,400,i,default,dontcare,ansi,0,0,0,draft,stroke,default"
comment_font: "Courier New,8,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
default_text_font: "Verdana,8,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
error_font: "Times New Roman,9,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
feature_font: "Times New Roman,9,400,i,default,dontcare,ansi,0,0,0,draft,stroke,default"
keyword_font: "Times New Roman,9,700,,default,dontcare,ansi,0,0,0,draft,stroke,default"
object_font: "Times New Roman,9,400,i,default,dontcare,ansi,0,0,0,draft,stroke,default"
string_text_font: "Times New Roman,9,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
symbol_font: "Times New Roman,9,400,,default,dontcare,ansi,0,0,0,draft,stroke,default"
html_font: "Courier New,8,400,u,default,dontcare,ansi,0,0,0,draft,stroke,default"
--foreground_color: ""
--text_background_color: "white"
--text_foreground_color: "black"
--breakable_color: "red"
--class_color: "magenta"
--cluster_color: "DarkRed"
--comment_color: "red"
--default_text_color: "black"
--error_color: "red"
feature_color: "DarkGreen"
--keyword_color: "blue"
--object_color: "brown"
--stop_color: "red"
--string_text_color: "black"
--symbol_color: "black"
--html_color: "blue"