Automatic generation produced by ISE Eiffel
class EDITOR_BUFFERED_SCREEN General cluster: text_window description: "Object that represent the buffered screen of an editor window" create: default_create, make_with_size Ancestors EV_PIXMAP SHARED_EDITOR_DATA Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE dpi_changed_actions: EV_DPI_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE expose_actions: EV_GEOMETRY_ACTION_SEQUENCE file_drop_actions: EV_LITE_ACTION_SEQUENCE [LIST [STRING_32]] focus_in_actions: EV_NOTIFY_ACTION_SEQUENCE focus_out_actions: EV_NOTIFY_ACTION_SEQUENCE key_press_actions: EV_KEY_ACTION_SEQUENCE key_press_string_actions: EV_KEY_STRING_ACTION_SEQUENCE key_release_actions: EV_KEY_ACTION_SEQUENCE mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE pick_actions: EV_PND_START_ACTION_SEQUENCE pick_ended_actions: EV_PND_FINISHED_ACTION_SEQUENCE pointer_button_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_button_release_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_enter_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_leave_actions: EV_NOTIFY_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE resize_actions: EV_GEOMETRY_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE actual_drop_target_agent: FUNCTION [INTEGER_32, INTEGER_32, EV_ABSTRACT_PICK_AND_DROPABLE] background_color: EV_COLOR clip_area: EV_RECTANGLE configurable_target_menu_handler: PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, ANY] corrected_height: INTEGER_32 current_font_used: EV_FONT current_foreground_color_used: EV_COLOR dashed_line_style: BOOLEAN data: ANY debug_output: STRING_32 default_identifier_name: STRING_32 default_key_processing_handler: PREDICATE [EV_KEY] deny_cursor: EV_POINTER_STYLE dpi: NATURAL_32 drawing_mode: INTEGER_32 Drawing_mode_and: INTEGER_32 Drawing_mode_copy: INTEGER_32 Drawing_mode_invert: INTEGER_32 Drawing_mode_or: INTEGER_32 Drawing_mode_xor: INTEGER_32 editor_preferences: EDITOR_DATA font: EV_FONT foreground_color: EV_COLOR full_identifier_path: STRING_32 has_capture: BOOLEAN has_focus: BOOLEAN has_identifier_name_set: BOOLEAN has_parent: BOOLEAN height: INTEGER_32 help_context: FUNCTION [EV_HELP_CONTEXT] id_freed: BOOLEAN id_object (an_id: INTEGER_32): IDENTIFIED identifier_name: STRING_32 initialized: BOOLEAN is_background_color_void: BOOLEAN is_bridge_ok (a_string: STRING_32): BOOLEAN is_cloned (a_string: STRING_32): BOOLEAN is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dockable: BOOLEAN is_equal (other: [like Current] EDITOR_BUFFERED_SCREEN): BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_foreground_color_void: BOOLEAN is_in_default_state: BOOLEAN is_in_default_state_for_tabs: BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN is_tabable_from: BOOLEAN is_tabable_to: BOOLEAN line_width: INTEGER_32 minimum_height: INTEGER_32 minimum_width: INTEGER_32 mode_is_configurable_target_menu: BOOLEAN mode_is_drag_and_drop: BOOLEAN mode_is_pick_and_drop: BOOLEAN mode_is_target_menu: BOOLEAN object_id: INTEGER_32 Panel_manager: TEXT_PANEL_MANAGER parent: EV_CONTAINER parent_of_source_allows_docking: BOOLEAN pebble: ANY pebble_function: FUNCTION [ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pointer_position: EV_COORDINATE pointer_style: EV_POINTER_STYLE real_source: EV_DOCKABLE_SOURCE real_target: EV_DOCKABLE_TARGET screen_x: INTEGER_32 screen_y: INTEGER_32 source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN sub_pixmap (area: EV_RECTANGLE): EV_PIXMAP target_data_function: FUNCTION [[like pebble] ANY, EV_PND_TARGET_DATA] target_name: READABLE_STRING_GENERAL tile: EV_PIXMAP tooltip: STRING_32 valid_drawing_mode (a_mode: INTEGER_32): BOOLEAN width: INTEGER_32 x_position: INTEGER_32 y_position: INTEGER_32 Commands center_pointer clear clear_rectangle (x, y, a_width, a_height: INTEGER_32) copy (other: [like Current] EDITOR_BUFFERED_SCREEN) destroy disable_capture disable_dashed_line_style disable_dockable disable_external_docking disable_external_docking_relative disable_pebble_positioning disable_sensitive disable_tabable_from disable_tabable_to dispose draw_arc (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) draw_ellipse (x, y, a_bounding_width, a_bounding_height: INTEGER_32) draw_ellipsed_text (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL; clipping_width: INTEGER_32) draw_ellipsed_text_top_left (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL; clipping_width: INTEGER_32) draw_pie_slice (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) draw_pixmap (x, y: INTEGER_32; a_pixmap: EV_PIXMAP) draw_point (x, y: INTEGER_32) draw_polyline (points: ARRAY [EV_COORDINATE]; is_closed: BOOLEAN) draw_rectangle (x, y, a_width, a_height: INTEGER_32) draw_rotated_text (x, y: INTEGER_32; angle: REAL_32; a_text: READABLE_STRING_GENERAL) draw_segment (x1, y1, x2, y2: INTEGER_32) draw_straight_line (x1, y1, x2, y2: INTEGER_32) draw_sub_pixel_buffer (x, y: INTEGER_32; a_pixel_buffer: EV_PIXEL_BUFFER; area: EV_RECTANGLE) draw_sub_pixmap (x, y: INTEGER_32; a_pixmap: EV_PIXMAP; area: EV_RECTANGLE) draw_text (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL) draw_text_top_left (x, y: INTEGER_32; a_text: READABLE_STRING_GENERAL) enable_capture enable_dashed_line_style enable_dockable enable_external_docking enable_external_docking_relative enable_pebble_positioning enable_sensitive enable_tabable_from enable_tabable_to end_drawing_session fill_ellipse (x, y, a_bounding_width, a_bounding_height: INTEGER_32) fill_pie_slice (x, y, a_bounding_width, a_bounding_height: INTEGER_32; a_start_angle, an_aperture: REAL_32) fill_polygon (points: ARRAY [EV_COORDINATE]) fill_rectangle (x, y, a_width, a_height: INTEGER_32) flush free_id hide refresh_now remove_clip_area remove_clipping remove_default_key_processing_handler remove_help_context remove_pebble remove_real_source remove_real_target remove_tile remove_tooltip reset_for_buffering (a_width, a_height: INTEGER_32) save_to_named_file (a_format: EV_GRAPHICAL_FORMAT; a_filename: READABLE_STRING_GENERAL) save_to_named_path (a_format: EV_GRAPHICAL_FORMAT; a_filepath: PATH) set_accept_cursor (a_cursor: [like accept_cursor] EV_POINTER_STYLE) set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] FUNCTION [INTEGER_32, INTEGER_32, EV_ABSTRACT_PICK_AND_DROPABLE]) set_and_mode set_anti_aliasing (value: BOOLEAN) set_background_color (a_color: [like background_color] EV_COLOR) set_clip_area (an_area: EV_RECTANGLE) set_clip_region (a_region: EV_REGION) set_configurable_target_menu_handler (a_handler: PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, ANY]) set_configurable_target_menu_mode set_copy_mode set_data (some_data: [like data] ANY) set_default_colors set_default_key_processing_handler (a_handler: [like default_key_processing_handler] PREDICATE [EV_KEY]) set_deny_cursor (a_cursor: [like deny_cursor] EV_POINTER_STYLE) set_drag_and_drop_mode set_drawing_mode (a_mode: INTEGER_32) set_focus set_font (a_font: EV_FONT) set_foreground_color (a_color: EV_COLOR) set_help_context (an_help_context: FUNCTION [EV_HELP_CONTEXT]) set_identifier_name (a_name: READABLE_STRING_GENERAL) set_invert_mode set_line_width (a_width: INTEGER_32) set_mask (a_mask: EV_BITMAP) set_minimum_height (a_minimum_height: INTEGER_32) set_minimum_size (a_minimum_width, a_minimum_height: INTEGER_32) set_minimum_width (a_minimum_width: INTEGER_32) set_or_mode set_pebble (a_pebble: ANY) set_pebble_function (a_function: FUNCTION [ANY]) set_pebble_position (a_x, a_y: INTEGER_32) set_pick_and_drop_mode set_pointer_style (a_cursor: EV_POINTER_STYLE) set_real_source (dockable_source: EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) set_size (a_width, a_height: INTEGER_32) set_target_data_function (a_function: FUNCTION [[like pebble] ANY, EV_PND_TARGET_DATA]) set_target_menu_mode set_target_name (a_name: READABLE_STRING_GENERAL) set_tile (a_pixmap: EV_PIXMAP) set_tooltip (a_tooltip: READABLE_STRING_GENERAL) set_with_named_file (file_name: READABLE_STRING_GENERAL) set_with_named_path (a_path: PATH) set_xor_mode show show_configurable_target_menu (a_x, a_y: INTEGER_32) start_drawing_session stretch (a_width, a_height: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org