-- Whiteboard.tip; edited by Maxwell, June 23, 1982 3:57 pm
-- Last Edited by: Donahue, July 26, 1983 11:41 am
SELECT TRIGGER FROM
Red Down WHILE Ctrl Down => Coords, Remove;
Red Down => Coords, Move;
Red Up => Release;
Yellow Up WHILE Ctrl Down => Coords, Expand;
Yellow Up WHILE RightShift Down => Coords, OpenFull;
Yellow Up WHILE LeftShift Down => Coords, OpenFull;
Yellow Up => Coords, Open;
Blue Down => Coords, Grow;
Blue Up => Release;
ENDCASE.