-- Buttons.tip; last edited by
  -- McGregor, March 29, 1982 2:43 pm
  -- Cattell, June 22, 1982 11:32 am
  
SELECT TRIGGER FROM
  Red Down => Coords, Mark;
  Mouse WHILE Red Down => Coords, Mark;
  Red Up => Hit;
  Blue Down => Coords, Mark;
  Mouse WHILE Blue Down => Coords, Mark;
  Blue Up => BlueButton, Hit;
  Yellow Down => Coords, Mark;
  Mouse WHILE Yellow Down => Coords, Mark;
  Yellow Up => BlueButton, Hit;
  ENDCASE.