No greedy match on quotes for the g++ theme
This commit is contained in:
parent
16b6627cd7
commit
f2df87b88c
1 changed files with 2 additions and 2 deletions
|
|
@ -1,7 +1,7 @@
|
||||||
|
|
||||||
def theme():
|
def theme():
|
||||||
return [
|
return [
|
||||||
[ "(fatal )*(error)", "red", "bold" ],
|
[ "error", "red", "bold" ],
|
||||||
[ "warning", "magenta", "bold" ],
|
[ "warning", "magenta", "bold" ],
|
||||||
[ "note", "blue", "bold" ],
|
[ "note", "blue", "bold" ],
|
||||||
# [-Wflag]
|
# [-Wflag]
|
||||||
|
|
@ -9,6 +9,6 @@ def theme():
|
||||||
# Filename:line number
|
# Filename:line number
|
||||||
[ "(/.*?)/([^/]+\.)(h|cp*):([0-9]+):*[0-9]*(.*)", "white,white,white,yellow,none", "normal,bold,bold,normal"],
|
[ "(/.*?)/([^/]+\.)(h|cp*):([0-9]+):*[0-9]*(.*)", "white,white,white,yellow,none", "normal,bold,bold,normal"],
|
||||||
# source code in single quotes
|
# source code in single quotes
|
||||||
[ "'(.*)'", "Cpp", "monokai" ]
|
[ "'(.*?)'", "Cpp", "monokai" ]
|
||||||
]
|
]
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue