Better colorization of the linker in the g++ theme
This commit is contained in:
parent
1e1177b56b
commit
460b126583
1 changed files with 4 additions and 3 deletions
|
|
@ -26,16 +26,17 @@ def theme():
|
||||||
enc = locale.getpreferredencoding()
|
enc = locale.getpreferredencoding()
|
||||||
if "UTF" in enc:
|
if "UTF" in enc:
|
||||||
# gcc will use unicode quotes
|
# gcc will use unicode quotes
|
||||||
qo = "‘"
|
qo = "[‘`]"
|
||||||
qc = "’"
|
qc = "[’']"
|
||||||
else:
|
else:
|
||||||
# rather than ascii ones
|
# rather than ascii ones
|
||||||
qo = "'"
|
qo = "['`]"
|
||||||
qc = "'"
|
qc = "'"
|
||||||
|
|
||||||
return [
|
return [
|
||||||
[ _("error: "), "red", "bold" ],
|
[ _("error: "), "red", "bold" ],
|
||||||
[ _("warning: "), "magenta", "bold" ],
|
[ _("warning: "), "magenta", "bold" ],
|
||||||
|
[ _("undefined reference to "), "red", "bold" ],
|
||||||
# [-Wflag]
|
# [-Wflag]
|
||||||
[ "\[-W.*\]", "magenta"],
|
[ "\[-W.*\]", "magenta"],
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue