Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SD_WIDGETS_LISTS General cluster: implementation_mswin description: "Smart Docking library widget lists." Ancestors IDENTIFIED Queries all_auto_hide_panels: ARRAYED_LIST [SD_AUTO_HIDE_PANEL] all_notebooks: ARRAYED_LIST [SD_NOTEBOOK] all_title_bars: ARRAYED_LIST [SD_TITLE_BAR] all_tool_bar_zones: ARRAYED_LIST [SD_TOOL_BAR_ZONE] all_tool_bars: ARRAYED_LIST [SD_GENERIC_TOOL_BAR] id_freed: BOOLEAN id_object (an_id: INTEGER_32): detachable IDENTIFIED is_equal (other: [like Current] SD_WIDGETS_LISTS): BOOLEAN object_id: INTEGER_32 Commands add_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) add_notebook (a_notebook: SD_NOTEBOOK) add_title_bar (a_title_bar: SD_TITLE_BAR) add_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) add_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE) copy (other: [like Current] SD_WIDGETS_LISTS) dispose free_id prune_auto_hide_panel (a_auto_hide_panel: SD_AUTO_HIDE_PANEL) prune_notebook (a_notebook: SD_NOTEBOOK) prune_title_bar (a_title_bar: SD_TITLE_BAR) prune_tool_bar (a_tool_bar: SD_GENERIC_TOOL_BAR) prune_tool_bar_zone (a_tool_bar_zone: SD_TOOL_BAR_ZONE)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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