Automatic generation produced by ISE Eiffel
class SD_NOTEBOOK_UPPER General cluster: implementation_mswin description: "A notebook show mini tool bar and tabs at top." create: make Ancestors SD_NOTEBOOK Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE docked_actions: EV_DOCKABLE_SOURCE_ACTION_SEQUENCE dpi_changed_actions: EV_DPI_ACTION_SEQUENCE drag_tab_area_actions: EV_POINTER_MOTION_ACTION_SEQUENCE drop_actions: EV_PND_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 minimize_actions: EV_NOTIFY_ACTION_SEQUENCE mouse_wheel_actions: EV_INTEGER_ACTION_SEQUENCE normal_max_actions: EV_NOTIFY_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 selection_actions: EV_NOTIFY_ACTION_SEQUENCE tab_bar_right_blank_area_double_click_actions: EV_NOTIFY_ACTION_SEQUENCE tab_double_click_actions: EV_NOTIFY_ACTION_SEQUENCE tab_drag_actions: ACTION_SEQUENCE [SD_CONTENT, INTEGER_32, INTEGER_32, INTEGER_32, INTEGER_32] Queries accept_cursor: EV_POINTER_STYLE actual_drop_target_agent: detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE] after: BOOLEAN all_auto_hide_panels: ARRAYED_LIST [SD_AUTO_HIDE_PANEL] all_notebooks: ARRAYED_LIST [SD_NOTEBOOK] all_title_bars: ARRAYED_LIST [SD_TITLE_BAR] all_tool_bar_zones: ARRAYED_LIST [SD_TOOL_BAR_ZONE] all_tool_bars: ARRAYED_LIST [SD_GENERIC_TOOL_BAR] at alias "@" (i: INTEGER_32): [like item] EV_WIDGET background_color: EV_COLOR background_pixmap: detachable EV_PIXMAP before: BOOLEAN border_width: INTEGER_32 Changeable_comparison_criterion: BOOLEAN client_height: INTEGER_32 client_width: INTEGER_32 configurable_target_menu_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY] content_by_tab (a_tab: SD_NOTEBOOK_TAB): SD_CONTENT contents: ARRAYED_LIST [SD_CONTENT] count: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [EV_WIDGET] custom_area: EV_CELL data: detachable ANY debug_output: STRING_32 default_identifier_name: STRING_32 default_key_processing_handler: detachable PREDICATE [EV_KEY] deny_cursor: EV_POINTER_STYLE docking_manager: SD_DOCKING_MANAGER dpi: NATURAL_32 exhausted: BOOLEAN extendible: BOOLEAN first: [like item] EV_WIDGET for_all (test: FUNCTION [EV_WIDGET, BOOLEAN]): BOOLEAN foreground_color: EV_COLOR Full: BOOLEAN full_identifier_path: STRING_32 has (a_content: SD_CONTENT): BOOLEAN has_capture: BOOLEAN has_focus: BOOLEAN has_identifier_name_set: BOOLEAN has_parent: BOOLEAN has_recursive (an_item: [like item] EV_WIDGET): BOOLEAN has_tab (a_tab: SD_NOTEBOOK_TAB): BOOLEAN has_vertical_box (v: [like item] EV_WIDGET): BOOLEAN height: INTEGER_32 help_context: detachable FUNCTION [EV_HELP_CONTEXT] i_th alias "[]" (i: INTEGER_32): [like item] EV_WIDGET id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED identifier_name: STRING_32 in_normal_maximize_area: BOOLEAN index: INTEGER_32 index_of (a_content: SD_CONTENT): INTEGER_32 index_of_tab (a_tab: SD_NOTEBOOK_TAB): INTEGER_32 index_of_vertical_box (v: [like item] EV_WIDGET; i: INTEGER_32): INTEGER_32 is_background_color_void: BOOLEAN is_content_selected (a_content: SD_CONTENT): BOOLEAN is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dockable: BOOLEAN is_docking_enabled: BOOLEAN is_docking_manager_attached: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] SD_NOTEBOOK_UPPER): BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_foreground_color_void: BOOLEAN is_homogeneous: BOOLEAN is_in_close_area: BOOLEAN is_in_default_state: BOOLEAN is_inserted (v: EV_WIDGET): BOOLEAN is_item_expanded (an_item: EV_WIDGET): BOOLEAN is_maximized: BOOLEAN is_normal_max_button_enabled: BOOLEAN is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN isfirst: BOOLEAN islast: BOOLEAN item: EV_WIDGET item_for_iteration: EV_WIDGET item_pixmap (a_content: SD_CONTENT): EV_PIXMAP item_text (a_content: SD_CONTENT): STRING_32 last: [like item] EV_WIDGET linear_representation: LINEAR [EV_WIDGET] Lower: INTEGER_32 may_contain (v: EV_WIDGET): BOOLEAN merged_radio_button_groups: detachable ARRAYED_LIST [EV_CONTAINER] 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 new_cursor: INDEXABLE_ITERATION_CURSOR [EV_WIDGET] object_comparison: BOOLEAN object_id: INTEGER_32 occurrences (v: [like item] EV_WIDGET): INTEGER_32 off: BOOLEAN padding: INTEGER_32 padding_width: INTEGER_32 parent: detachable EV_CONTAINER parent_of_source_allows_docking: BOOLEAN pebble: detachable ANY pebble_function: detachable FUNCTION [detachable ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pointer_position: EV_COORDINATE pointer_style: EV_POINTER_STYLE prunable: BOOLEAN readable: BOOLEAN real_source: detachable EV_DOCKABLE_SOURCE real_target: detachable EV_DOCKABLE_TARGET replaceable: BOOLEAN retrieve_item_by_data (some_data: ANY; should_compare_objects: BOOLEAN): detachable EV_WIDGET retrieve_items_by_data (some_data: ANY; should_compare_objects: BOOLEAN): ARRAYED_LIST [EV_WIDGET] same (other: EV_ANY): BOOLEAN screen_x: INTEGER_32 screen_y: INTEGER_32 selected_item: detachable SD_CONTENT selected_item_index: INTEGER_32 source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN tab_area: EV_RECTANGLE Tab_bottom: INTEGER_32 tab_by_content (a_content: SD_CONTENT): SD_NOTEBOOK_TAB Tab_top: INTEGER_32 tabs_shown: ARRAYED_LIST [SD_NOTEBOOK_TAB] target_data_function: detachable FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA] target_name: detachable READABLE_STRING_GENERAL there_exists (test: FUNCTION [EV_WIDGET, BOOLEAN]): BOOLEAN valid_cursor (p: CURSOR): BOOLEAN valid_cursor_index (i: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN veto_dock_function: detachable FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN] width: INTEGER_32 writable: BOOLEAN x_position: INTEGER_32 y_position: INTEGER_32 Commands add_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) add_notebook (a_notebook: SD_NOTEBOOK) add_title_bar (a_title_bar: SD_TITLE_BAR) add_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) add_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE) append (s: SEQUENCE [[like item] EV_WIDGET]) back center_pointer cl_extend (v: [like item] EV_WIDGET) cl_prune (v: [like item] EV_WIDGET) cl_put (v: [like item] EV_WIDGET) clear_docking_manager compare_objects compare_references destroy disable_capture disable_dockable disable_docking disable_external_docking disable_external_docking_relative disable_homogeneous disable_item_expand (an_item: EV_WIDGET) disable_maximize_minimize_buttons disable_pebble_positioning disable_sensitive disable_widget_expand dispose dl_append (s: SEQUENCE [EV_WIDGET]) dl_force (v: [like item] EV_WIDGET) dl_put_front (v: [like item] EV_WIDGET) dl_put_i_th (v: [like item] EV_WIDGET; i: INTEGER_32) dl_put_left (v: [like item] EV_WIDGET) dl_put_right (v: [like item] EV_WIDGET) dl_replace (v: [like item] EV_WIDGET) do_all (action: PROCEDURE [EV_WIDGET]) do_if (action: PROCEDURE [EV_WIDGET]; test: FUNCTION [EV_WIDGET, BOOLEAN]) enable_capture enable_dockable enable_docking enable_external_docking enable_external_docking_relative enable_homogeneous enable_item_expand (an_item: EV_WIDGET) enable_maximize_minimize_buttons enable_pebble_positioning enable_sensitive enable_widget_expand extend (a_content: SD_CONTENT) extend_contents (a_contents: LIST [SD_CONTENT]) extend_vertical_box (v: [like item] EV_WIDGET) fill (other: CONTAINER [EV_WIDGET]) finish force (v: [like item] EV_WIDGET) forth free_id go_i_th (i: INTEGER_32) go_to (p: CURSOR) hide merge_left (other: [like Current] SD_NOTEBOOK_UPPER) merge_radio_button_groups (other: EV_CONTAINER) merge_right (other: [like Current] SD_NOTEBOOK_UPPER) move (i: INTEGER_32) on_dpi_changed (a_dpi: NATURAL_32; a_x, a_y, a_width, a_height: INTEGER_32) on_resize (a_x, a_y, a_width, a_height: INTEGER_32) propagate_background_color propagate_foreground_color prune (a_content: SD_CONTENT; a_focus: BOOLEAN) prune_all_vertical_box (v: [like item] EV_WIDGET) prune_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) prune_notebook (a_notebook: SD_NOTEBOOK) prune_title_bar (a_title_bar: SD_TITLE_BAR) prune_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) prune_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE) prune_vertical_box (v: [like item] EV_WIDGET) put (v: [like item] EV_WIDGET) put_front (v: [like item] EV_WIDGET) put_i_th (v: [like item] EV_WIDGET; i: INTEGER_32) put_left (v: [like item] EV_WIDGET) put_right (v: [like item] EV_WIDGET) refresh_now remove remove_background_pixmap remove_default_key_processing_handler remove_help_context remove_i_th (i: INTEGER_32) remove_left remove_pebble remove_real_source remove_real_target remove_right replace (a_content: SD_CONTENT) replace_box (v: [like item] EV_WIDGET) search (v: [like item] EV_WIDGET) select_item (a_content: SD_CONTENT; a_focus: BOOLEAN) set_accept_cursor (a_cursor: [detachable like accept_cursor] detachable EV_POINTER_STYLE) set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] detachable FUNCTION [INTEGER_32, INTEGER_32, detachable EV_ABSTRACT_PICK_AND_DROPABLE]) set_background_color (a_color: [like background_color] EV_COLOR) set_background_pixmap (a_pixmap: EV_PIXMAP) set_border_width (value: INTEGER_32) set_configurable_target_menu_handler (a_handler: detachable PROCEDURE [EV_MENU, ARRAYED_LIST [EV_PND_TARGET_DATA], EV_PICK_AND_DROPABLE, detachable ANY]) set_configurable_target_menu_mode set_content_position (a_content: SD_CONTENT; a_index: INTEGER_32) set_data (some_data: [like data] detachable ANY) set_default_colors set_default_key_processing_handler (a_handler: [like default_key_processing_handler] detachable PREDICATE [EV_KEY]) set_deny_cursor (a_cursor: [detachable like deny_cursor] detachable EV_POINTER_STYLE) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_drag_and_drop_mode set_focus set_focus_color (a_focus: BOOLEAN) set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_help_context (an_help_context: FUNCTION [EV_HELP_CONTEXT]) set_identifier_name (a_name: READABLE_STRING_GENERAL) set_item_pixmap (a_content: SD_CONTENT; a_pixmap: EV_PIXMAP) set_item_text (a_content: SD_CONTENT; a_text: READABLE_STRING_GENERAL) set_mini_tool_bar (a_widget: EV_WIDGET) 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_padding (value: INTEGER_32) set_padding_width (value: INTEGER_32) set_pebble (a_pebble: ANY) set_pebble_function (a_function: FUNCTION [detachable 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_show_maximized (a_maximized: BOOLEAN) set_show_minimized (a_minimized: BOOLEAN) set_tab_active_color (a_focus: BOOLEAN) set_tab_position (a_position: INTEGER_32) set_target_data_function (a_function: FUNCTION [[like pebble] detachable ANY, EV_PND_TARGET_DATA]) set_target_menu_mode set_target_name (a_name: READABLE_STRING_GENERAL) set_veto_dock_function (a_function: FUNCTION [EV_DOCKABLE_SOURCE, BOOLEAN]) show show_configurable_target_menu (a_x, a_y: INTEGER_32) start swap (i: INTEGER_32) unmerge_radio_button_groups (other: EV_CONTAINER) update_size update_size_and_font wipe_out Constraints internal tool bar not void internal normal max button not void internal minimize button not void custom area not void internal top box not void normal max actions not void minimize actions not void -- Generated by Eiffel Studio --
For more details: eiffel.org