Automatic generation produced by ISE Eiffel
deferred class SD_MULTI_CONTENT_ZONE General cluster: implementation_mswin description: "SD_ZONE that contains mulit SD_CONTENTs." Ancestors SD_ZONE* Queries child_zone_count: INTEGER_32 content: SD_CONTENT contents: ARRAYED_LIST [SD_CONTENT] count: INTEGER_32 docking_manager: SD_DOCKING_MANAGER has (a_content: SD_CONTENT): BOOLEAN has_content: BOOLEAN index_of (a_content: SD_CONTENT): INTEGER_32 is_docking_manager_attached: BOOLEAN is_floating_zone: BOOLEAN is_maximized: BOOLEAN last_content: SD_CONTENT only_one_content: BOOLEAN state: SD_STATE tabs_shown: HASH_TABLE [SD_NOTEBOOK_TAB, INTEGER_32] type: INTEGER_32 Commands change_tab_tooltip (a_content: SD_CONTENT; a_tooltip: detachable READABLE_STRING_GENERAL) clear_docking_manager close extend (a_content: SD_CONTENT) extend_contents (a_contents: LIST [SD_CONTENT]) on_normal_max_window prune (a_content: SD_CONTENT; a_focus: BOOLEAN) recover_to_normal_state replace_user_widget (a_content: SD_CONTENT) set_docking_manager (a_docking_manager: [like docking_manager] SD_DOCKING_MANAGER) set_focus_color (a_focus: BOOLEAN) set_last_floating_height (a_height: INTEGER_32) set_last_floating_width (a_width: INTEGER_32) set_max (a_max: BOOLEAN) set_non_focus_selection_color update_mini_tool_bar (a_content: SD_CONTENT) update_mini_tool_bar_size -- Generated by Eiffel Studio --
For more details: eiffel.org