Automatic generation produced by ISE Eiffel
class EDITOR_DATA General cluster: text_window description: "General editor preferences." create: make Ancestors DOCUMENT_TYPE_MANAGER EDITOR_TOKEN_IDS EV_FONT_CONSTANTS SHARED_EDITOR_DATA SHARED_EDITOR_FONT Queries automatic_update: BOOLEAN automatic_update_preference: BOOLEAN_PREFERENCE blinking_cursor: BOOLEAN blinking_cursor_preference: BOOLEAN_PREFERENCE color_of_id (a_id: INTEGER_32): EV_COLOR comments_background_color: EV_COLOR Comments_background_color_id: INTEGER_32 comments_background_color_preference: COLOR_PREFERENCE comments_text_color: EV_COLOR Comments_text_color_id: INTEGER_32 comments_text_color_preference: COLOR_PREFERENCE current_class: DOCUMENT_CLASS current_class_set: BOOLEAN cursor_line_highlight_color: EV_COLOR Cursor_line_highlight_color_id: INTEGER_32 cursor_line_highlight_color_preference: COLOR_PREFERENCE Dark_gray: EV_COLOR Default_document_class: DOCUMENT_CLASS Editor_font_id: INTEGER_32 editor_font_preference: FONT_PREFERENCE editor_preferences: EDITOR_DATA Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_32 focus_out_selection_background_color: EV_COLOR Focus_out_selection_background_color_id: INTEGER_32 focus_out_selection_background_color_preference: COLOR_PREFERENCE font: EV_FONT font_of_id (a_id: INTEGER_32): EV_FONT font_offset: INTEGER_32 font_width: INTEGER_32 font_zoom_factor_preference: INTEGER_PREFERENCE get_class_from_type (a_type: READABLE_STRING_GENERAL): DOCUMENT_CLASS has_font: BOOLEAN has_header_font: BOOLEAN has_keyword_font: BOOLEAN header_font: EV_FONT header_font_preference: FONT_PREFERENCE highlight_background_color: EV_COLOR Highlight_background_color_id: INTEGER_32 highlight_background_color_preference: COLOR_PREFERENCE highlight_text_color: EV_COLOR Highlight_text_color_id: INTEGER_32 highlight_text_color_preference: COLOR_PREFERENCE initialized: BOOLEAN is_fixed_width: BOOLEAN keyword_background_color: EV_COLOR Keyword_background_color_id: INTEGER_32 keyword_background_color_preference: COLOR_PREFERENCE keyword_font: EV_FONT Keyword_font_id: INTEGER_32 keyword_font_preference: FONT_PREFERENCE keyword_text_color: EV_COLOR Keyword_text_color_id: INTEGER_32 keyword_text_color_preference: COLOR_PREFERENCE known_document_type (a_type: READABLE_STRING_GENERAL): BOOLEAN left_margin_width: INTEGER_32 left_margin_width_preference: INTEGER_PREFERENCE line_height: INTEGER_32 line_number_text_color: EV_COLOR Line_number_text_color_id: INTEGER_32 line_number_text_color_preference: COLOR_PREFERENCE link_background_color: EV_COLOR Link_background_color_id: INTEGER_32 link_background_color_preference: COLOR_PREFERENCE link_color: EV_COLOR Link_color_id: INTEGER_32 link_color_preference: COLOR_PREFERENCE margin_background_color: EV_COLOR Margin_background_color_id: INTEGER_32 margin_background_color_preference: COLOR_PREFERENCE margin_separator_color: EV_COLOR Margin_separator_color_id: INTEGER_32 margin_separator_color_preference: COLOR_PREFERENCE max_color_id: INTEGER_32 max_font_id: INTEGER_32 mouse_over_link_background_color: EV_COLOR Mouse_over_link_background_color_id: INTEGER_32 mouse_over_link_background_color_preference: COLOR_PREFERENCE mouse_over_link_color: EV_COLOR Mouse_over_link_color_id: INTEGER_32 mouse_over_link_color_preference: COLOR_PREFERENCE mouse_wheel_scroll_full_page: BOOLEAN mouse_wheel_scroll_full_page_preference: BOOLEAN_PREFERENCE mouse_wheel_scroll_size: INTEGER_32 mouse_wheel_scroll_size_preference: INTEGER_PREFERENCE normal_background_color: EV_COLOR Normal_background_color_id: INTEGER_32 normal_background_color_preference: COLOR_PREFERENCE normal_text_color: EV_COLOR Normal_text_color_id: INTEGER_32 normal_text_color_preference: COLOR_PREFERENCE number_background_color: EV_COLOR Number_background_color_id: INTEGER_32 number_background_color_preference: COLOR_PREFERENCE number_text_color: EV_COLOR Number_text_color_id: INTEGER_32 number_text_color_preference: COLOR_PREFERENCE operator_background_color: EV_COLOR Operator_background_color_id: INTEGER_32 operator_background_color_preference: COLOR_PREFERENCE operator_text_color: EV_COLOR Operator_text_color_id: INTEGER_32 operator_text_color_preference: COLOR_PREFERENCE Panel_manager: TEXT_PANEL_MANAGER Plain_black: EV_COLOR Plain_gray: EV_COLOR Plain_white: EV_COLOR quadruple_click_enabled: BOOLEAN quadruple_click_enabled_preference: BOOLEAN_PREFERENCE quoted_feature_background_color: EV_COLOR Quoted_feature_background_color_id: INTEGER_32 quoted_feature_background_color_preference: COLOR_PREFERENCE quoted_feature_text_color: EV_COLOR Quoted_feature_text_color_id: INTEGER_32 quoted_feature_text_color_preference: COLOR_PREFERENCE remove_trailing_white_space: BOOLEAN remove_trailing_white_space_preference: BOOLEAN_PREFERENCE scrolling_common_line_count: INTEGER_32 scrolling_common_line_count_preference: INTEGER_PREFERENCE selection_background_color: EV_COLOR Selection_background_color_id: INTEGER_32 selection_background_color_preference: COLOR_PREFERENCE selection_text_color: EV_COLOR Selection_text_color_id: INTEGER_32 selection_text_color_preference: COLOR_PREFERENCE Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 show_line_numbers: BOOLEAN show_line_numbers_preference: BOOLEAN_PREFERENCE smart_home: BOOLEAN smart_home_preference: BOOLEAN_PREFERENCE smart_indentation: BOOLEAN smart_indentation_preference: BOOLEAN_PREFERENCE spaces_background_color: EV_COLOR Spaces_background_color_id: INTEGER_32 spaces_background_color_preference: COLOR_PREFERENCE spaces_text_color: EV_COLOR Spaces_text_color_id: INTEGER_32 spaces_text_color_preference: COLOR_PREFERENCE string_background_color: EV_COLOR String_background_color_id: INTEGER_32 string_background_color_preference: COLOR_PREFERENCE string_text_color: EV_COLOR String_text_color_id: INTEGER_32 string_text_color_preference: COLOR_PREFERENCE tabulation_spaces: INTEGER_32 tabulation_spaces_preference: INTEGER_PREFERENCE use_buffered_line: BOOLEAN use_buffered_line_preference: BOOLEAN_PREFERENCE use_tab_for_indentation: BOOLEAN use_tab_for_indentation_preference: BOOLEAN_PREFERENCE valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 Commands register_document (a_type_name: STRING_8; a_class: DOCUMENT_CLASS) set_current_document_class (doc_class: [like current_class] DOCUMENT_CLASS) -- Generated by Eiffel Studio --
For more details: eiffel.org