-- Button.tip; edited by McGregor, September 9, 1982 1:55 pm
-- Copyright Ó 1991 by Xerox Corporation. All rights reserved.

SELECT TRIGGER FROM

Red Down => Coords, Mark;
Mouse WHILE Red Down => Coords, Mark;
Red Up => SELECT ENABLE FROM
LeftShift Down  => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Red, Hit;
ENDCASE   => Shift, Red, Hit;
RightShift Down => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Red, Hit;
ENDCASE   => Shift, Red, Hit;
Ctrl Down   => Control, Red, Hit;
ENDCASE   => Red, Hit;

Yellow Down => Coords, Mark;
Mouse WHILE Yellow Down => Coords, Mark;
Yellow Up => SELECT ENABLE FROM
LeftShift Down  => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Yellow, Hit;
ENDCASE   => Shift, Yellow, Hit;
RightShift Down => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Yellow, Hit;
ENDCASE   => Shift, Yellow, Hit;
Ctrl Down   => Control, Yellow, Hit;
ENDCASE   => Yellow, Hit;

Blue Down => Coords, Mark;
Mouse WHILE Blue Down => Coords, Mark;
Blue Up => SELECT ENABLE FROM
LeftShift Down  => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Blue, Hit;
ENDCASE   => Shift, Blue, Hit;
RightShift Down => SELECT ENABLE FROM
Ctrl Down   => Control, Shift, Blue, Hit;
ENDCASE   => Shift, Blue, Hit;
Ctrl Down   => Control, Blue, Hit;
ENDCASE   => Blue, Hit;

ENDCASE.