Automatic generation produced by ISE Eiffel
class TEXT_PANEL General cluster: text_window description: "Editable: no Scroll bars: yes Cursor: no Keyboard: no Mouse: no" Ancestors DOCUMENT_TYPE_MANAGER ENCODING_DETECTOR* EV_FONT_CONSTANTS EV_SHARED_APPLICATION SHARED_EDITOR_DATA SYSTEM_ENCODINGS TEXT_OBSERVER* TEXT_PANEL_IMP* Action sequences drop_actions: EV_PND_ACTION_SEQUENCE Queries buffered_drawable_height: INTEGER_32 buffered_drawable_width: INTEGER_32 buffered_line: EV_PIXMAP changed: BOOLEAN common_line_count: INTEGER_32 Console_encoding: ENCODING current_class: DOCUMENT_CLASS current_class_set: BOOLEAN cursors: EDITOR_CURSORS date_of_file_when_loaded: INTEGER_32 date_when_checked: INTEGER_32 Default_buffered_drawable_height: INTEGER_32 Default_buffered_drawable_width: INTEGER_32 Default_document_class: DOCUMENT_CLASS Default_encoding: ENCODING display_scrollbars: BOOLEAN editor_drawing_area: EV_DRAWING_AREA editor_preferences: EDITOR_DATA editor_viewport: EV_VIEWPORT editor_x: INTEGER_32 editor_y: INTEGER_32 encoding: ENCODING ev_application: EV_APPLICATION ev_separate_application: separate EV_APPLICATION Family_modern: INTEGER_32 Family_roman: INTEGER_32 Family_sans: INTEGER_32 Family_screen: INTEGER_32 Family_typewriter: INTEGER_32 file_date_already_checked: BOOLEAN file_date_ticks: INTEGER_32 file_exists: BOOLEAN file_is_up_to_date: BOOLEAN file_loaded: BOOLEAN file_path: PATH file_size: INTEGER_32 first_line_displayed: INTEGER_32 flip_count: INTEGER_32 font: EV_FONT get_class_from_type (a_type: READABLE_STRING_GENERAL): DOCUMENT_CLASS has_focus: BOOLEAN has_icons: BOOLEAN has_margin: BOOLEAN horizontal_scrollbar: EV_HORIZONTAL_SCROLL_BAR icons: EDITOR_ICONS initialized: BOOLEAN inner_hbox: EV_HORIZONTAL_BOX internal_focus_requested: BOOLEAN internal_userset_data: [like userset_data] TEXT_PANEL_BUFFERED_DATA is_checking_modifications: BOOLEAN is_empty: BOOLEAN is_in_editor_panel (a_screen_x, a_screen_y: INTEGER_32): BOOLEAN is_initialized: BOOLEAN is_offset_valid: BOOLEAN is_unix_file: BOOLEAN is_windows_file: BOOLEAN Iso_8859_1: ENCODING known_document_type (a_type: READABLE_STRING_GENERAL): BOOLEAN last_detection_successful: BOOLEAN last_vertical_scroll_bar_value: INTEGER_32 left_margin_width: INTEGER_32 line_height: INTEGER_32 line_numbers_enabled: BOOLEAN line_numbers_visible: BOOLEAN main_vbox: EV_VERTICAL_BOX margin: MARGIN_WIDGET margin_container: EV_CELL new_text_displayed: [like text_displayed] TEXT number_of_lines: INTEGER_32 number_of_lines_displayed: INTEGER_32 number_of_lines_displayed_from_text: INTEGER_32 on_paint: BOOLEAN Panel_manager: TEXT_PANEL_MANAGER pointer_style: EV_POINTER_STYLE reference_window: EV_WINDOW scroll_cell: EV_CELL scroll_vbox: EV_VERTICAL_BOX Shape_italic: INTEGER_32 Shape_regular: INTEGER_32 Shared_environment: EV_ENVIRONMENT size_of_file_when_loaded: INTEGER_32 System_encoding: ENCODING text_displayed: TEXT text_is_fully_loaded: BOOLEAN userset_fonts: SPECIAL [EV_FONT] Utf16: ENCODING Utf32: ENCODING Utf8: ENCODING valid_family (a_family: INTEGER_32): BOOLEAN valid_shape (a_shape: INTEGER_32): BOOLEAN valid_weight (a_weight: INTEGER_32): BOOLEAN vertical_scrollbar: EV_VERTICAL_SCROLL_BAR view_invisible_symbols: BOOLEAN viewable_height: INTEGER_32 viewable_width: INTEGER_32 Weight_black: INTEGER_32 Weight_bold: INTEGER_32 Weight_regular: INTEGER_32 Weight_thin: INTEGER_32 wide_text: STRING_32 widget: EV_HORIZONTAL_BOX Commands check_document_modifications_and_reload clear_window continue_editing default_create detect (a_string: READABLE_STRING_GENERAL) disable_line_numbers display_line_with_context (l_number: INTEGER_32) enable_line_numbers flush initialize_buffer_settings load_file_path (a_filename: PATH) load_text (a_text: READABLE_STRING_GENERAL) on_focus on_font_changed recycle redraw_current_screen refresh refresh_line_number_display refresh_margin refresh_now register_document (a_type_name: STRING_8; a_class: DOCUMENT_CLASS) register_observers reset set_buffered_drawable_size (a_width, a_height: INTEGER_32) set_current_document_class (doc_class: [like current_class] DOCUMENT_CLASS) set_cursors (a_cursors: [like cursors] EDITOR_CURSORS) set_display_scrollbars (a_display: BOOLEAN) set_editor_width (a_width: INTEGER_32) set_encoding (a_encoding: [like user_encoding] ENCODING) set_first_line_displayed (fld: INTEGER_32; refresh_if_necessary: BOOLEAN) set_focus set_font_offset (a_offset: INTEGER_32) set_fonts (a_fonts: [like userset_fonts] SPECIAL [EV_FONT]) set_icons (a_icons: [like icons] EDITOR_ICONS) set_left_margin_width (a_width: [like left_margin_width] INTEGER_32) set_line_height (a_height: [like line_height] INTEGER_32) set_offset (an_offset: INTEGER_32) set_reference_window (a_window: [like reference_window] EV_WINDOW) set_text (a_text: [like text_displayed] TEXT; a_filename: STRING_8) setup_editor (first_line_to_display: INTEGER_32) show show_warning_message (a_message: READABLE_STRING_GENERAL) toggle_view_invisible_symbols update_line_and_token_info Constraints offset view buffered line not void -- Generated by Eiffel Studio --
For more details: eiffel.org