Automatic generation produced by ISE Eiffel
class EDITABLE_TEXT_PANEL General cluster: text_window description: "Editable: yes Scroll bars: yes Cursor: yes Keyboard: yes Mouse: yes" Ancestors SELECTABLE_TEXT_PANEL Action sequences drop_actions: EV_PND_ACTION_SEQUENCE Queries allow_edition: BOOLEAN auto_scroll: BOOLEAN blinking_cursor: BOOLEAN buffered_drawable_height: INTEGER_32 buffered_drawable_width: INTEGER_32 buffered_line: EV_PIXMAP changed: BOOLEAN clipboard: EV_CLIPBOARD common_line_count: INTEGER_32 Console_encoding: ENCODING copy_cut_cursor: [like cursor_type] EDITOR_CURSOR current_class: DOCUMENT_CLASS current_class_set: BOOLEAN current_cursor_position: INTEGER_32 cursor_is_in_selection (cur: [like cursor_type] EDITOR_CURSOR): BOOLEAN cursor_is_visible: BOOLEAN cursor_type: EDITOR_CURSOR cursor_visible_x_position: INTEGER_32 cursor_x_position: INTEGER_32 cursor_y_position: INTEGER_32 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 has_selection: 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_editable: 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_read_only: BOOLEAN is_unix_file: BOOLEAN is_windows_file: BOOLEAN Iso_8859_1: ENCODING Key_0: INTEGER_32 Key_1: INTEGER_32 Key_2: INTEGER_32 Key_3: INTEGER_32 Key_4: INTEGER_32 Key_5: INTEGER_32 Key_6: INTEGER_32 Key_7: INTEGER_32 Key_8: INTEGER_32 Key_9: INTEGER_32 Key_a: INTEGER_32 Key_alt: INTEGER_32 Key_b: INTEGER_32 Key_back_space: INTEGER_32 Key_backquote: INTEGER_32 Key_backslash: INTEGER_32 Key_c: INTEGER_32 Key_caps_lock: INTEGER_32 Key_close_bracket: INTEGER_32 key_code_from_key_string (key_string: READABLE_STRING_GENERAL): INTEGER_32 Key_comma: INTEGER_32 Key_ctrl: INTEGER_32 Key_d: INTEGER_32 Key_dash: INTEGER_32 Key_delete: INTEGER_32 Key_down: INTEGER_32 Key_e: INTEGER_32 Key_end: INTEGER_32 Key_enter: INTEGER_32 Key_equal: INTEGER_32 Key_escape: INTEGER_32 Key_f: INTEGER_32 Key_f1: INTEGER_32 Key_f10: INTEGER_32 Key_f11: INTEGER_32 Key_f12: INTEGER_32 Key_f2: INTEGER_32 Key_f3: INTEGER_32 Key_f4: INTEGER_32 Key_f5: INTEGER_32 Key_f6: INTEGER_32 Key_f7: INTEGER_32 Key_f8: INTEGER_32 Key_f9: INTEGER_32 Key_g: INTEGER_32 Key_h: INTEGER_32 Key_home: INTEGER_32 Key_i: INTEGER_32 Key_insert: INTEGER_32 Key_j: INTEGER_32 Key_k: INTEGER_32 Key_l: INTEGER_32 Key_left: INTEGER_32 Key_left_meta: INTEGER_32 Key_m: INTEGER_32 Key_menu: INTEGER_32 Key_n: INTEGER_32 Key_num_lock: INTEGER_32 Key_numpad_0: INTEGER_32 Key_numpad_1: INTEGER_32 Key_numpad_2: INTEGER_32 Key_numpad_3: INTEGER_32 Key_numpad_4: INTEGER_32 Key_numpad_5: INTEGER_32 Key_numpad_6: INTEGER_32 Key_numpad_7: INTEGER_32 Key_numpad_8: INTEGER_32 Key_numpad_9: INTEGER_32 Key_numpad_add: INTEGER_32 Key_numpad_decimal: INTEGER_32 Key_numpad_divide: INTEGER_32 Key_numpad_multiply: INTEGER_32 Key_numpad_subtract: INTEGER_32 Key_o: INTEGER_32 Key_open_bracket: INTEGER_32 Key_p: INTEGER_32 Key_page_down: INTEGER_32 Key_page_up: INTEGER_32 Key_pause: INTEGER_32 Key_period: INTEGER_32 Key_q: INTEGER_32 Key_quote: INTEGER_32 Key_r: INTEGER_32 Key_right: INTEGER_32 Key_right_meta: INTEGER_32 Key_s: INTEGER_32 Key_scroll_lock: INTEGER_32 Key_semicolon: INTEGER_32 Key_shift: INTEGER_32 Key_slash: INTEGER_32 Key_space: INTEGER_32 Key_strings: ARRAY [STRING_32] Key_t: INTEGER_32 Key_tab: INTEGER_32 Key_u: INTEGER_32 Key_up: INTEGER_32 Key_v: INTEGER_32 Key_w: INTEGER_32 Key_x: INTEGER_32 Key_y: INTEGER_32 Key_z: INTEGER_32 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 load_file_error: BOOLEAN main_vbox: EV_VERTICAL_BOX margin: MARGIN_WIDGET margin_container: EV_CELL new_text_displayed: [like text_displayed] EDITABLE_TEXT not_editable_warning_wide_message: STRING_32 number_of_lines: INTEGER_32 number_of_lines_displayed: INTEGER_32 number_of_lines_displayed_from_text: INTEGER_32 on_paint: BOOLEAN open_backup: BOOLEAN overwrite_mode: BOOLEAN Panel_manager: TEXT_PANEL_MANAGER pointer_style: EV_POINTER_STYLE position_is_in_selection (x_pos, y_pos: INTEGER_32; include_selection_end: BOOLEAN): BOOLEAN redo_is_possible: BOOLEAN 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: EDITABLE_TEXT text_is_fully_loaded: BOOLEAN to_implement_assertion (comment: READABLE_STRING_8): BOOLEAN token_at (x, y: INTEGER_32): EDITOR_TOKEN token_at_screen (x, y: INTEGER_32): EDITOR_TOKEN undo_is_possible: BOOLEAN userset_fonts: SPECIAL [EV_FONT] Utf16: ENCODING Utf32: ENCODING Utf8: ENCODING valid_family (a_family: INTEGER_32): BOOLEAN valid_key_code (a_code: 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_string_selection: STRING_32 wide_text: STRING_32 widget: EV_HORIZONTAL_BOX Commands add_cursor_observer (txt_observer: TEXT_OBSERVER) add_edition_observer (txt_observer: TEXT_OBSERVER) add_history_observer (history_observer: UNDO_REDO_OBSERVER) add_selection_observer (txt_observer: TEXT_OBSERVER) check_cursor_position check_document_modifications_and_reload clear_window continue_editing copy_selection cut_selection default_create deselect_all detect (a_string: READABLE_STRING_GENERAL) dim_selection disable_editable disable_line_numbers disable_selection display_line_with_context (l_number: INTEGER_32) display_message (message: STRING_32) display_not_editable_warning_message draw_copy_cut_cursor (media: EV_DRAWABLE; x, y, width: INTEGER_32) draw_cursor (media: EV_DRAWABLE; x, y, width: INTEGER_32) enable_editable enable_line_numbers fixme (comment: READABLE_STRING_8) flush indent_selection initialize_buffer_settings internal_draw_cursor (media: EV_DRAWABLE; x, y, width_cursor, ln_height: INTEGER_32; do_show: BOOLEAN) load_file_path (a_filename: PATH) load_text (a_text: READABLE_STRING_GENERAL) on_char (character_string: STRING_32) on_focus on_font_changed on_text_loaded paste paste_with_indentation position_cursor (a_cursor: [like cursor_type] EDITOR_CURSOR; x_pos, y_pos: INTEGER_32) recycle redo redraw_current_line 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 reload remove_history_observer (history_observer: UNDO_REDO_OBSERVER) remove_observer (txt_observer: TEXT_OBSERVER) replace_selection (word: STRING_32) reset run_if_editable (command: PROCEDURE) select_all select_lines (a_start, a_end: INTEGER_32) select_region (start_pos, end_pos: INTEGER_32) set_auto_scroll (a_auto_scroll: BOOLEAN) set_buffered_drawable_size (a_width, a_height: INTEGER_32) set_changed (val: BOOLEAN) 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_link_between (a_start_char_pos, a_end_char_pos: INTEGER_32; a_link: BOOLEAN; a_pebble: ANY) set_not_editable_warning_message (message: [like not_editable_warning_wide_message] STRING_32) set_offset (an_offset: INTEGER_32) set_read_only (a_flag: BOOLEAN) set_reference_window (a_window: [like reference_window] EV_WINDOW) set_selection_case (lower: BOOLEAN) set_text (a_text: [like text_displayed] EDITABLE_TEXT; a_filename: STRING_8) setup_editor (first_line_to_display: INTEGER_32) show show_selection (always_scroll: BOOLEAN) show_warning_message (a_message: READABLE_STRING_GENERAL) to_implement (comment: READABLE_STRING_8) toggle_view_invisible_symbols undo unindent_selection update_line_and_token_info -- Generated by Eiffel Studio --
For more details: eiffel.org