runtime: fix for python highlighting #3154

"""\"""" was highlighted incorrectly. The fix is simply adding skip=+\\["']+ to
the syntax of triple-quoted strings.

Closes #3151
This commit is contained in:
Victor Adam 2015-08-11 10:07:18 +02:00 committed by Justin M. Keyes
parent 9bc1b78058
commit 6e233b93ea

View File

@ -99,7 +99,7 @@ syn region pythonString
\ start=+[uU]\=\z(['"]\)+ end="\z1" skip="\\\\\|\\\z1"
\ contains=pythonEscape,@Spell
syn region pythonString
\ start=+[uU]\=\z('''\|"""\)+ end="\z1" keepend
\ start=+[uU]\=\z('''\|"""\)+ skip=+\\["']+ end="\z1" keepend
\ contains=pythonEscape,pythonSpaceError,pythonDoctest,@Spell
syn region pythonRawString
\ start=+[uU]\=[rR]\z(['"]\)+ end="\z1" skip="\\\\\|\\\z1"