-- 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.