Bold line number in the g++ theme
This commit is contained in:
parent
64c50cca00
commit
465ce93393
1 changed files with 3 additions and 1 deletions
|
|
@ -19,7 +19,9 @@ def theme():
|
||||||
# [-Wflag]
|
# [-Wflag]
|
||||||
[ "\[-W.*\]", "magenta"],
|
[ "\[-W.*\]", "magenta"],
|
||||||
# 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,yellow,none",
|
||||||
|
"normal,bold,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