lego/src/BorderedFeedbackVBT.i3


Copyright (C) 1994, Digital Equipment Corp.
<* PRAGMA LL *>
<* PRAGMA SUBTYPE *>
A BorderedFeedbackVBT is a multi-filter feedback that displays a border as visual feedback to another VBT.

INTERFACE BorderedFeedbackVBT;

IMPORT FeedbackVBT, PaintOp, VBT;

TYPE
  <* SUBTYPE T <: MultiFilter.T *>
  T <: Public;
  Public =
    FeedbackVBT.T OBJECT
    METHODS
      <* LL <= VBT.mu *>
      init (
        ch: VBT.T;
        size: REAL := 0.5;
        op: PaintOp.T := PaintOp.BgFg): T
    END;
The call v.init(ch, size, op) initializes v as a BorderedFeedbackVBT. The size of the border is size millimeters. In the ``on'' state, the default normal method draws the border with paint op op using texture Pixmap.Solid. In the ``off'' state, the default normal method uses Pixmap.Empty instead. The default excited method draws the border with text Pixmap.Gray.

END BorderedFeedbackVBT.