GraphicsButton.tip
Copyright
Ó 1992 by Xerox Corporation. All rights reserved.
last written by Bier, February 23, 1987 1:30:40 pm PST
Pier, December 6, 1985 11:06:29 am PST
[
DEF,
SHIFT,(RightShift Down | LeftShift Down)]
[
DEF,
CTRL,Ctrl Down]
SELECT
TRIGGER
FROM
Red Down =>
SELECT
ENABLE
FROM
SHIFT =>
SELECT
ENABLE
FROM
CTRL => {Ctrl Shift Left};
ENDCASE => {NoCtrl Shift Left};
ENDCASE =>
SELECT
ENABLE
FROM
CTRL => {Ctrl NoShift Left};
ENDCASE => {NoCtrl NoShift Left};
Yellow Down =>
SELECT
ENABLE
FROM
SHIFT =>
SELECT
ENABLE
FROM
CTRL => {Ctrl Shift Middle};
ENDCASE => {NoCtrl Shift Middle};
ENDCASE =>
SELECT
ENABLE
FROM
CTRL => {Ctrl NoShift Middle};
ENDCASE => {NoCtrl NoShift Middle};
Blue Down =>
SELECT
ENABLE
FROM
SHIFT =>
SELECT
ENABLE
FROM
CTRL => {Ctrl Shift Right};
ENDCASE => {NoCtrl Shift Right};
ENDCASE =>
SELECT
ENABLE
FROM
CTRL => {Ctrl NoShift Right};
ENDCASE => {NoCtrl NoShift Right};
ENDCASE.