class EV_HEADER_ITEM General cluster: interface description: "Objects that represent EiffelVision2 header items." create: make_with_text, default_create Ancestors EV_ITEM* EV_TEXT_ALIGNABLE* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_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_double_press_actions: EV_POINTER_BUTTON_ACTION_SEQUENCE pointer_motion_actions: EV_POINTER_MOTION_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE data: ANY deny_cursor: EV_POINTER_STYLE id_object (an_id: INTEGER_32): IDENTIFIED is_center_aligned: BOOLEAN is_destroyed: BOOLEAN is_left_aligned: BOOLEAN is_right_aligned: BOOLEAN maximum_width: INTEGER_32 minimum_width: INTEGER_32 mode_is_drag_and_drop: BOOLEAN mode_is_pick_and_drop: BOOLEAN mode_is_target_menu: BOOLEAN object_id: INTEGER_32 parent: EV_ITEM_LIST [EV_ITEM] pebble: ANY pebble_function: FUNCTION [ANY, TUPLE, ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmap: EV_PIXMAP target_name: STRING_GENERAL text: STRING_32 text_alignment: INTEGER_32 user_can_resize: BOOLEAN width: INTEGER_32 Commands align_text_center align_text_left align_text_right copy (other: [like Current] EV_HEADER_ITEM) destroy disable_pebble_positioning disable_user_resize enable_pebble_positioning enable_user_resize remove_pebble remove_pixmap remove_text resize_to_content set_accept_cursor (a_cursor: [like accept_cursor] EV_POINTER_STYLE) set_data (some_data: [like data] ANY) set_deny_cursor (a_cursor: [like deny_cursor] EV_POINTER_STYLE) set_drag_and_drop_mode set_maximum_width (a_maximum_width: INTEGER_32) set_minimum_width (a_minimum_width: INTEGER_32) set_pebble (a_pebble: [like pebble] ANY) set_pebble_function (a_function: FUNCTION [ANY, TUPLE, ANY]) set_pebble_position (a_x, a_y: INTEGER_32) set_pick_and_drop_mode set_pixmap (a_pixmap: EV_PIXMAP) set_target_menu_mode set_target_name (a_name: STRING_GENERAL) set_text (a_text: STRING_GENERAL) set_width (a_width: INTEGER_32) Constraints width greater than or equal to minimum width width less than or equal to maximum width minimum width less than or equal to maximum width