On 22 November 2011 14:28, Jan Høydahl <jan....@cominvent.com> wrote: > Why do you need spaces in the replacement? > > Try pattern="\+" replacement="plus" - it will cause the transformed > charstream to contain as many tokens as the original and avoid the > highlighting crash.
I tried that, it still crashes. Replacing it with single character, including single non-ASCII character, doesn't cause a crash. I'm sort of tempted to just use reuse some CJK character, and synonym filter it to mean "plus".