>>>> "Gunnar" == Gunnar Evermann
<Gunnar.Evermann(a)nats.informatik.uni-hamburg.de> writes:
Gunnar> Please apply this patch to postscript.el The new regexp is
Gunnar> still not perfect but definitely better (i.e. equivalent
Gunnar> but faster).
Gunnar> - '("(\\([^)]\\|\\\\.\\|\\\\\n\\)*)"
Gunnar> + '("(\\([^)]*\\))" . font-lock-string-face)
I don't think those are completely equivalent, though perhaps the
second one will work fine...
The first one matches anything that starts with a paren, and then
things up to another paren including \. escapes and \
line continuations.
The second expression doesn't handle escapes or line continues... but
perhaps that's not really required anyhow. I've not learned much
postscript yet. :-)