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.