-- StolfiTeX.tip
-- Last edited by: Ramshaw, February 4, 1984 1:00 pm
-- Last edited by: Stolfi, March 15, 1984 11:44:24 am PST
-- For use with StolfiTeX.style when editing TeX82 sources in Tioga.

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

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

SELECT TRIGGER FROM
 
Period Down WHILE [CTRL] => SELECT ENABLE FROM
   [SHIFT] => { "\031" };
   ENDCASE => { "\035" };

Comma Down WHILE [CTRL] => SELECT ENABLE FROM
   [SHIFT] => { "\030" };
   ENDCASE => { "\034" };

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

ENDCASE.