lego/src/QuickSwitchVBT.i3


Copyright (C) 1994, Digital Equipment Corp.
<* PRAGMA LL *>
<* PRAGMA SUBTYPE *>
A QuickSwitchVBT is a switch version of Trestle's QuickBtnVBT.

INTERFACE QuickSwitchVBT;

IMPORT FeedbackVBT, QuickBtnVBT, VBT;

TYPE
  <* SUBTYPE T <: MultiFilter.T *>
  T <: Public;
  Public = QuickBtnVBT.T OBJECT
           METHODS
             <* LL <= VBT.mu *>
             init (f: FeedbackVBT.T): T;
             <* LL = VBT.mu *>
             callback (READONLY cd: VBT.MouseRec);
           END;

END QuickSwitchVBT.