-- WindowMgr.tip; Last Edited by McGregor, September 22, 1982 2:26 pm

SELECT TRIGGER FROM

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

  Red Up => SELECT ENABLE FROM
    LeftShift Down		=> SELECT ENABLE FROM
      Ctrl Down			=> Coords, Control, Shift, RU;
      ENDCASE			=> Coords, Shift, RU;
    RightShift Down	=> SELECT ENABLE FROM
  	  Ctrl Down			=> Coords, Control, Shift, RU;
      ENDCASE			=> Coords, Shift, RU;
    Ctrl Down			=> Coords, Control, RU;
    ENDCASE			=> Coords, RU;
  Red Down => Coords, RD;

  Yellow Up => SELECT ENABLE FROM
    LeftShift Down		=> SELECT ENABLE FROM
      Ctrl Down			=> Coords, Control, Shift, YU;
      ENDCASE			=> Coords, Shift, YU;
    RightShift Down	=> SELECT ENABLE FROM
  	  Ctrl Down			=> Coords, Control, Shift, YU;
      ENDCASE			=> Coords, Shift, YU;
    Ctrl Down			=> Coords, Control, YU;
    ENDCASE			=> Coords, YU;
  Yellow Down => Coords, YD;

  Blue Up => SELECT ENABLE FROM
    LeftShift Down		=> SELECT ENABLE FROM
      Ctrl Down			=> Coords, Control, Shift, BU;
      ENDCASE			=> Coords, Shift, BU;
    RightShift Down	=> SELECT ENABLE FROM
  	  Ctrl Down			=> Coords, Control, Shift, BU;
      ENDCASE			=> Coords, Shift, BU;
    Ctrl Down			=> Coords, Control, BU;
    ENDCASE			=> Coords, BU;
  Blue Down => Coords, BD;
  
  ENDCASE.