indexing
     description: "Controls used to manipulate objects of type EV_WIDGET"
     date: "$Date$"
     revision: "$Revision$"

class interface
     WIDGET_CONTROL

create

     make (box: EV_BOX; widget: EV_WIDGET; an_output_device: EV_TEXT)
                 -- Set up controls for widget. In this case, there are no controls,
                 -- but we must link the widget events to widget.

invariant

           -- from ANY
     reflexive_equality: standard_is_equal (Current)
     reflexive_conformance: conforms_to (Current)

end -- class WIDGET_CONTROL