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.