-- Windowmanager.tip; Last Edited by McGregor, March 18, 1982 2:45 pm

SELECT TRIGGER FROM

  Mouse =>
    SELECT ENABLE FROM
      Blue Down   => Coords, BM;
      Red Down    => Coords, RM;
      Yellow Down => Coords, YM
      ENDCASE     => Coords, M;

  Red Up   => Coords, RU;
  Red Down => Coords, RD;

  Yellow Up   => Coords, YU;
  Yellow Down => Coords, YD;

  Blue Up   => Coords, BU;
  Blue Down => Coords, BD
  
  ENDCASE.