José Matos wrote:
On Sunday 01 June 2008 15:36:11 Jürgen Spitzmüller wrote:
No, I think the reason is that regular expressions need to be escaped
themselves. So:
Yes, that was the reason for the introduction of raw strings in python. Having
to use 4 (!) backslashes for a single one can be frustrating and awkward at
the same time.
OK. I see all of this now. We should probably check lyx2lyx for this
kind of mistake. The con/revert_spaceinset routines had it wrong before,
at least. I fixed that one, and that was what made me think I needed to
fix the others, too.
rh