<> <> <> << Maxwell, June 23, 1982 3:57 pm>> << Donahue, July 26, 1983 11:41 am>> << Widom, August 16, 1984 4:28:25 pm PDT>> SELECT TRIGGER FROM 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.