<<>> <> <> <> DIRECTORY Rope USING [ROPE], XTk USING [Class, WidgetSpec], XTkLabels USING [StyleSpec, TextWidget]; XTkInhibitableWidgets: CEDAR DEFINITIONS ~ { InhibitableWidget: TYPE = XTkLabels.TextWidget; StyleSpec: TYPE = XTkLabels.StyleSpec; Create: PROC [widgetSpec: XTk.WidgetSpec ¬ [], text: Rope.ROPE ¬ NIL] RETURNS [w: InhibitableWidget]; Inhibit: PROC [widget: InhibitableWidget]; Enable: PROC [widget: InhibitableWidget]; }.