Whiteboard.tip
Copyright (C) 1984 by Xerox Corporation. All rights reserved.
Last Edited by:
Maxwell, June 23, 1982 3:57 pm
Donahue, January 29, 1986 8:54:43 am PST
Widom, August 16, 1984 4:28:25 pm PDT
SELECT TRIGGER FROM
Red Down WHILE LeftShift Down WHILE Ctrl Down => Coords, CopyBox; -- copy text box
Red Down WHILE LeftShift Down => Coords, NewBox; -- add new text box
Red Down WHILE RightShift Down => Coords, NewBox; -- add new text box
Red Down WHILE Ctrl Down => Coords, Remove; -- delete entity
Red Down => Coords, Move; -- move entity
Yellow Up WHILE LeftShift Down => Coords, OpenFull; -- open icon fullsize
Yellow Up WHILE RightShift Down => Coords, OpenFull; -- open icon fullsize
Yellow Up WHILE Ctrl Down => Coords, Expand; -- expand whiteboard
Yellow Up => Coords, Open; -- open icon
Blue Down => Coords, Grow; -- grow text box
ENDCASE.