Automatic generation produced by ISE Eiffel
class SD_AUTO_HIDE_STATE General cluster: implementation_mswin description: "SD_STATE for SD_AUTO_HIDE_ZONE." create: make, make_with_size, make_with_friend Ancestors SD_STATE_WITH_CONTENT* 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 is_hide: BOOLEAN is_width_height_valid (a_width_height: INTEGER_32): 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_AUTO_HIDE_ZONE Commands auto_hide_tab_with (a_target_content: SD_CONTENT) change_long_title (a_title: READABLE_STRING_GENERAL; a_content: SD_CONTENT) change_pixmap (a_pixmap: EV_PIXMAP; a_content: SD_CONTENT) change_short_title (a_title: READABLE_STRING_GENERAL; a_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 close_animation 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 restore (a_data: SD_INNER_CONTAINER_DATA; a_container: EV_CONTAINER) 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_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) Constraints internal content not void tab stub not void auto hide panel not void animation not void direction valid -- Generated by Eiffel Studio --
For more details: eiffel.org