class EV_NOTEBOOK General cluster: interface description: "Multiple widget container. Each widget is displayed on an individual page. A tab is displayed for each page allow its selection. Only the selected page is visible." create: default_create Ancestors EV_FONTABLE* EV_ITEM_PIXMAP_SCALER* EV_NOTEBOOK_ACTION_SEQUENCES* EV_WIDGET_LIST* Action sequences conforming_pick_actions: EV_NOTIFY_ACTION_SEQUENCE dock_ended_actions: EV_NOTIFY_ACTION_SEQUENCE dock_started_actions: EV_NOTIFY_ACTION_SEQUENCE drop_actions: EV_PND_ACTION_SEQUENCE 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 selection_actions: EV_NOTIFY_ACTION_SEQUENCE Queries accept_cursor: EV_POINTER_STYLE actual_drop_target_agent: FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], EV_ABSTRACT_PICK_AND_DROPABLE] after: BOOLEAN background_color: EV_COLOR background_pixmap: EV_PIXMAP before: BOOLEAN client_height: INTEGER_32 client_width: INTEGER_32 count: INTEGER_32 cursor: EV_DYNAMIC_LIST_CURSOR [EV_WIDGET] data: ANY default_key_processing_handler: PREDICATE [ANY, TUPLE [EV_KEY]] deny_cursor: EV_POINTER_STYLE exhausted: BOOLEAN Extendible: BOOLEAN first: [like item] EV_WIDGET font: EV_FONT for_all (test: FUNCTION [ANY, TUPLE [EV_WIDGET], BOOLEAN]): BOOLEAN foreground_color: EV_COLOR Full: BOOLEAN has (v: [like item] EV_WIDGET): BOOLEAN has_capture: BOOLEAN has_focus: BOOLEAN has_recursive (an_item: [like item] EV_WIDGET): BOOLEAN height: INTEGER_32 help_context: FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT] i_th alias "[]" (i: INTEGER_32): [like item] EV_WIDGET id_object (an_id: INTEGER_32): IDENTIFIED index: INTEGER_32 index_of (v: [like item] EV_WIDGET; i: INTEGER_32): INTEGER_32 index_set: INTEGER_INTERVAL infix "@" (i: INTEGER_32): [like item] EV_WIDGET is_destroyed: BOOLEAN is_displayed: BOOLEAN is_dockable: BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] EV_NOTEBOOK): BOOLEAN is_external_docking_enabled: BOOLEAN is_external_docking_relative: BOOLEAN is_inserted (v: EV_WIDGET): BOOLEAN is_parent_recursive (a_widget: EV_WIDGET): BOOLEAN is_sensitive: BOOLEAN is_show_requested: BOOLEAN isfirst: BOOLEAN islast: BOOLEAN item: EV_WIDGET item_tab (an_item: EV_WIDGET): EV_NOTEBOOK_TAB item_text (an_item: EV_WIDGET): STRING_32 last: [like item] EV_WIDGET linear_representation: LINEAR [EV_WIDGET] may_contain (v: EV_WIDGET): BOOLEAN merged_radio_button_groups: ARRAYED_LIST [EV_CONTAINER] minimum_height: 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 occurrences (v: [like item] EV_WIDGET): INTEGER_32 off: BOOLEAN parent: EV_CONTAINER parent_of_source_allows_docking: BOOLEAN pebble: ANY pebble_function: FUNCTION [ANY, TUPLE, ANY] pebble_positioning_enabled: BOOLEAN pebble_x_position: INTEGER_32 pebble_y_position: INTEGER_32 pixmaps_height: INTEGER_32 pixmaps_width: INTEGER_32 pointed_tab_index: INTEGER_32 pointer_position: EV_COORDINATE pointer_style: EV_POINTER_STYLE prunable: BOOLEAN readable: BOOLEAN real_source: EV_DOCKABLE_SOURCE real_target: EV_DOCKABLE_TARGET retrieve_item_by_data (some_data: ANY; should_compare_objects: BOOLEAN): 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: EV_WIDGET selected_item_index: INTEGER_32 sequential_occurrences (v: [like item] EV_WIDGET): INTEGER_32 source_has_current_recursive (source: EV_DOCKABLE_SOURCE): BOOLEAN Tab_bottom: INTEGER_32 Tab_left: INTEGER_32 tab_position: INTEGER_32 Tab_right: INTEGER_32 Tab_top: INTEGER_32 target_name: STRING_GENERAL there_exists (test: FUNCTION [ANY, TUPLE [EV_WIDGET], BOOLEAN]): BOOLEAN valid_cursor (p: CURSOR): BOOLEAN valid_cursor_index (i: INTEGER_32): BOOLEAN valid_index (i: INTEGER_32): BOOLEAN width: INTEGER_32 writable: BOOLEAN x_position: INTEGER_32 y_position: INTEGER_32 Commands append (s: SEQUENCE [[like item] EV_WIDGET]) back center_pointer copy (other: [like Current] EV_NOTEBOOK) destroy disable_capture disable_dockable disable_external_docking disable_external_docking_relative disable_pebble_positioning disable_sensitive dl_force (v: [like item] EV_WIDGET) do_all (action: PROCEDURE [ANY, TUPLE [EV_WIDGET]]) do_if (action: PROCEDURE [ANY, TUPLE [EV_WIDGET]]; test: FUNCTION [ANY, TUPLE [EV_WIDGET], BOOLEAN]) enable_capture enable_dockable enable_external_docking enable_external_docking_relative enable_pebble_positioning enable_sensitive extend (v: [like item] EV_WIDGET) fill (other: CONTAINER [EV_WIDGET]) finish force (v: [like item] EV_WIDGET) forth go_i_th (i: INTEGER_32) go_to (p: CURSOR) hide merge_left (other: [like Current] EV_NOTEBOOK) merge_radio_button_groups (other: EV_CONTAINER) merge_right (other: [like Current] EV_NOTEBOOK) move (i: INTEGER_32) position_tabs_bottom position_tabs_left position_tabs_right position_tabs_top propagate_background_color propagate_foreground_color prune (v: [like item] EV_WIDGET) prune_all (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_left remove_pebble remove_real_source remove_real_target remove_right replace (v: [like item] EV_WIDGET) search (v: [like item] EV_WIDGET) select_item (an_item: EV_WIDGET) set_accept_cursor (a_cursor: [like accept_cursor] EV_POINTER_STYLE) set_actual_drop_target_agent (an_agent: [like actual_drop_target_agent] FUNCTION [ANY, TUPLE [INTEGER_32, INTEGER_32], EV_ABSTRACT_PICK_AND_DROPABLE]) set_background_color (a_color: [like background_color] EV_COLOR) set_background_pixmap (a_pixmap: EV_PIXMAP) set_data (some_data: [like data] ANY) set_default_colors set_default_key_processing_handler (a_handler: [like default_key_processing_handler] PREDICATE [ANY, TUPLE [EV_KEY]]) set_deny_cursor (a_cursor: [like deny_cursor] EV_POINTER_STYLE) set_drag_and_drop_mode set_focus set_font (a_font: EV_FONT) set_foreground_color (a_color: [like foreground_color] EV_COLOR) set_help_context (an_help_context: [like help_context] FUNCTION [ANY, TUPLE, EV_HELP_CONTEXT]) set_item_text (an_item: EV_WIDGET; a_text: STRING_GENERAL) 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_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_pixmaps_size (a_width, a_height: INTEGER_32) set_pointer_style (a_cursor: [like pointer_style] EV_POINTER_STYLE) set_real_source (dockable_source: EV_DOCKABLE_SOURCE) set_real_target (a_target: EV_DOCKABLE_TARGET) set_tab_position (a_tab_position: INTEGER_32) set_target_menu_mode set_target_name (a_name: STRING_GENERAL) show start swap (i: INTEGER_32) unmerge_radio_button_groups (other: EV_CONTAINER) wipe_out Constraints tab position within range selected item not void selected item index within range selected item index zero when empty selected item is i th of selected item index selected item index is index of selected item