On 4. Oct 2006, at 02:11, Piero D'Ancona wrote:
[...] Is it possible to keep the doubling of ticks except when immediately following a backslash? I know I can disable the doubling completely, but I would like to keep it in other cases.
With a bit of work, you can do this for most cases, yes.
The preference to disable the auto-paired characters accepts a scope selector, so what you need to do is provide it a scope selector which matches only the caret when immediately after an escape character.
This is where things are currently not ideal, because you need to a) edit the LaTeX language grammar to markup these locations, and b) since the scope of the is the character to the right of the caret, you actually need to (also) match the character following the escape -- I would imagine that in most cases that character would be a whitespace character (potentially a newline), so it should be possible.
I think we could make the changes in the default LaTeX bundle. Like the other poster, I would however also suggest just using real accented characters :)