note description: "Popup shell that bypasses window management." legal: "See notice at end of class."; status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class MEL_OVERRIDE_SHELL inherit MEL_SHELL create make, make_from_existing feature -- Initialization make (a_name: STRING; a_parent: MEL_COMPOSITE) -- Create a override shell widget. require name_exists: a_name /= Void; parent_exists: a_parent /= Void and then not a_parent.is_destroyed local widget_name: ANY do parent := a_parent; widget_name := a_name.to_c; screen_object := xt_create_override_shell ($widget_name, a_parent.screen_object); Mel_widgets.add_popup_shell (Current); set_default ensure exists: not is_destroyed; parent_set: parent = a_parent; name_set: name.is_equal (a_name) end; feature {NONE} -- Implementation xt_create_override_shell (a_parent, a_name: POINTER): POINTER external "C" 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 -- class MEL_OVERRIDE_SHELL