Automatic generation produced by ISE Eiffel
class SD_EDITOR_CONFIG_HELPER General cluster: implementation_mswin description: "Sepcial docking layout helper for editor." create: make Ancestors SD_ACCESS* Queries has_editor_or_place_holder (a_top_container: EV_CONTAINER): BOOLEAN has_place_holder (a_top_container: EV_CONTAINER): BOOLEAN is_editor_state_valid: BOOLEAN is_top_container_recorded: BOOLEAN real_has_place_holder_zone: BOOLEAN top_container: detachable EV_WIDGET was_place_holder_exists: BOOLEAN Commands remember_editors_state (a_config_data: SD_CONFIG_DATA) restore_editor_state (a_config_data: SD_CONFIG_DATA; a_prior_work_success: BOOLEAN) -- Generated by Eiffel Studio --
For more details: eiffel.org