-- Whiteboard.tip; edited by Maxwell,  June 23, 1982 3:57 pm

SELECT TRIGGER FROM
  Red Down WHILE Ctrl Down => Coords, Remove;
  Red Down => Coords, Move;
  Red Up => Release;
  Yellow Down WHILE RightShift Down => Coords, Expand;
  Yellow Down WHILE LeftShift Down => Coords, Expand;
  Yellow Down WHILE Lock Down => Coords, Expand;
  Yellow Down => Coords, Open;
  Blue Down => Coords, Grow;
  Blue Up => Release;
  ENDCASE.