note status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class TOP_SHELL_IMP inherit TOP_SHELL_I TOP_IMP redefine class_name, child_has_resized end create make feature -- Initialization make (a_top_shell: TOP_SHELL) -- Make a top shell. do create private_attributes private_title := a_top_shell.identifier if private_title.is_integer then create class_icon.make_by_id (private_title.to_integer) if not class_icon.exists then class_icon := null_class_icon end else class_icon := null_class_icon end a_top_shell.set_wm_imp (Current) set_managed (True) private_attributes.set_x (default_x) private_attributes.set_y (default_y) private_attributes.set_width (minimal_width) private_attributes.set_height (minimal_height) shell_width := 2 * window_frame_width shell_height := title_bar_height + window_border_height + 2 * window_frame_height max_width := maximal_width max_height := maximal_height oui_top := a_top_shell end feature {NONE} -- Implementation child_has_resized -- Size shell children do if not realizing_children then resize_shell_children (width, height) end end class_name: STRING -- Class name once Result := "EvisionTopShell" end note copyright: "Copyright (c) 1984-2006, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 356 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end -- TOP_SHELL_IMP