Automatic generation produced by ISE Eiffel
class SD_CONTENT General cluster: docking description: "A content which has client programmer's widgets managed by docking library." create: make_with_widget, make_with_widget_title_pixmap, make_placeholder_with_original_widget Ancestors DEBUG_OUTPUT* HASHABLE* SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Action sequences close_request_actions: SD_NOTIFY_ACTION_SEQUENCE drop_actions: SD_CONTENT_PND_ACTION_SEQUENCE focus_in_actions: SD_NOTIFY_ACTION_SEQUENCE focus_out_actions: SD_NOTIFY_ACTION_SEQUENCE show_actions: SD_NOTIFY_ACTION_SEQUENCE tab_bar_right_blank_area_double_click_actions: SD_NOTIFY_ACTION_SEQUENCE Queries debug_output: STRING_32 description: detachable STRING_32 detail: detachable STRING_32 docking_manager: SD_DOCKING_MANAGER floating_height: INTEGER_32 floating_width: INTEGER_32 four_direction (a_direction: INTEGER_32): BOOLEAN has_focus: BOOLEAN hash_code: INTEGER_32 is_content_zone_set (a_content: SD_CONTENT): BOOLEAN is_destroyed: BOOLEAN is_docking_manager_attached: BOOLEAN is_floating: BOOLEAN is_hashable: BOOLEAN is_state_set: BOOLEAN is_title_unique_except_current (a_title: READABLE_STRING_GENERAL): BOOLEAN is_user_widget_set: BOOLEAN is_visible: BOOLEAN long_title: STRING_32 manager_has_content (a_content: SD_CONTENT): BOOLEAN manager_has_place_holder: BOOLEAN mini_toolbar: [like internal_mini_toolbar] detachable EV_WIDGET pixel_buffer: [like internal_pixel_buffer] detachable EV_PIXEL_BUFFER pixmap: EV_PIXMAP short_title: STRING_32 state_value: INTEGER_32 tab_tooltip: detachable STRING_32 target_content_shown (a_target_content: SD_CONTENT): BOOLEAN target_content_zone_parent_exist (a_target_content: SD_CONTENT): BOOLEAN type: INTEGER_32 unique_title: READABLE_STRING_32 user_widget: EV_WIDGET Commands clear_docking_manager close destroy hide minimize set_auto_hide (a_direction: INTEGER_32) set_default_editor_position set_description (a_description: [like description] detachable STRING_32) set_detail (a_detail: [like detail] detachable STRING_32) set_docking_manager (a_docking_manager: SD_DOCKING_MANAGER) set_floating (a_screen_x, a_screen_y: INTEGER_32) set_floating_height (a_height: INTEGER_32) set_floating_width (a_width: INTEGER_32) set_focus set_focus_no_maximized (a_zone: EV_WIDGET) set_long_title (a_long_title: READABLE_STRING_GENERAL) set_mini_toolbar (a_bar: [attached like internal_mini_toolbar] attached EV_WIDGET) set_pixel_buffer (a_buffer: [like internal_pixel_buffer] detachable EV_PIXEL_BUFFER) set_pixmap (a_pixmap: [like pixmap] EV_PIXMAP) set_relative (a_relative: SD_CONTENT; a_direction: INTEGER_32) set_short_title (a_short_title: READABLE_STRING_GENERAL) set_split_proportion (a_proportion: REAL_32) set_tab_tooltip (a_text: [like tab_tooltip] detachable STRING_32) set_tab_with (a_content: SD_CONTENT; a_left: BOOLEAN) set_top (a_direction: INTEGER_32) set_type (a_type: INTEGER_32) set_unique_title (a_unique_title: READABLE_STRING_GENERAL) set_user_widget (a_widget: EV_WIDGET) show update_mini_tool_bar_size Constraints internal shared not void -- Generated by Eiffel Studio --
For more details: eiffel.org