-- TeX.tip
-- Last edited by: Ramshaw, February 4, 1984 1:00 pm
-- For use with TeX.style when editing TeX82 sources in Tioga.

[DEF,CTRL,(Ctrl Down | Spare3 Down)]

[DEF,SHIFT,(LeftShift Down | RightShift Down)]

SELECT TRIGGER FROM
 
Equal Down WHILE [CTRL] => { "\032" };

Period Down WHILE [CTRL] => { "\035" };

Comma Down WHILE [CTRL] => { "\034" };

Quote Down WHILE [CTRL] => SELECT ENABLE FROM
   [SHIFT] => { SingleQuoteBrackets };
   ENDCASE => { "\140" };

ENDCASE.