Automatic generation produced by ISE Eiffel
deferred class SD_STATE_WITH_CONTENT General cluster: implementation_mswin description: "{SD_STATE} that has associated content." Ancestors SD_STATE* Queries content: SD_CONTENT content_count_valid (a_titles: ARRAYED_LIST [READABLE_STRING_GENERAL]): BOOLEAN content_void: BOOLEAN debug_output: STRING_32 direction: INTEGER_32 docking_manager: SD_DOCKING_MANAGER floating_zone: detachable SD_FLOATING_ZONE has (a_content: SD_CONTENT): BOOLEAN initialized: BOOLEAN is_dock_at_top (a_multi_dock_area: SD_MULTI_DOCK_AREA): BOOLEAN is_docking_manager_attached: BOOLEAN last_floating_height: INTEGER_32 last_floating_width: INTEGER_32 value: INTEGER_32 width_height: INTEGER_32 width_height_by_direction: INTEGER_32 zone: detachable SD_ZONE Commands auto_hide_tab_with (a_target_content: SD_CONTENT) change_tab_tooltip (a_tooltip: detachable READABLE_STRING_GENERAL) change_zone_split_area (a_target_zone: SD_ZONE; a_direction: INTEGER_32) clear_docking_manager close dock_at_top_level (a_multi_dock_area: SD_MULTI_DOCK_AREA) float (a_x, a_y: INTEGER_32) hide minimize move_to_docking_zone (a_target_zone: SD_DOCKING_ZONE; a_first: BOOLEAN) move_to_tab_zone (a_target_zone: SD_TAB_ZONE; a_index: INTEGER_32) on_normal_max_window record_state set_direction (a_direction: INTEGER_32) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_focus (a_content: SD_CONTENT) set_last_floating_height (a_height: INTEGER_32) set_last_floating_width (a_width: INTEGER_32) set_mini_toolbar (a_toolbar_widget: EV_WIDGET) set_split_proportion (a_proportion: REAL_32) set_user_widget (a_widget: EV_WIDGET) set_width_height (a_width_height: INTEGER_32) show stick (a_direction: INTEGER_32) -- Generated by Eiffel Studio --
For more details: eiffel.org