On Jun 6, 2005, at 0:51, Charilaos Skiadas wrote: > I removed that pattern, and the corresponding smart-typing pair, > but I at least still get two quotes when typing one, so not sure > what is going on there, but the highlight is gone. The smart-typing pairs are in the theme editor now (there's LaTeX Stuff under Settings: Basic).