Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class SD_ZONE General cluster: implementation_mswin description: "Objects that hold SD_CONTENT's user widgets." Ancestors SD_ACCESS* SD_DOCKING_MANAGER_HOLDER* Queries child_zone_count: INTEGER_32 content: SD_CONTENT docking_manager: SD_DOCKING_MANAGER has (a_content: SD_CONTENT): BOOLEAN has_content: BOOLEAN is_docking_manager_attached: BOOLEAN is_floating_zone: BOOLEAN is_maximized: BOOLEAN state: SD_STATE type: INTEGER_32 Commands clear_docking_manager close extend (a_content: SD_CONTENT) on_normal_max_window recover_to_normal_state 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_size Constraints is widget internal shared not void
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org