Merge remote-tracking branch 'Aajn/python-highlighter' into master

This commit is contained in:
Maxime Coste 2020-09-17 19:33:51 +10:00
commit 81163ce48a

View File

@ -35,7 +35,7 @@ provide-module python %§
add-highlighter shared/python regions
add-highlighter shared/python/code default-region group
add-highlighter shared/python/docstring region -match-capture ("""|''') ("""|''') regions
add-highlighter shared/python/docstring region -match-capture ("""|''') (?<!\\)(?:\\\\)*("""|''') regions
add-highlighter shared/python/double_string region '"' (?<!\\)(\\\\)*" fill string
add-highlighter shared/python/single_string region "'" (?<!\\)(\\\\)*' fill string
add-highlighter shared/python/documentation region '##' '$' fill documentation