Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-06-01 04:46:51 +08:00
Code Issues Actions 30 Packages Projects Releases Wiki Activity

[supervision] color regex on "error:" and "error "

Browse Source 
To avoid false coloring, match only on "error" folowed by colon or space

closes #910
This commit is contained in:
Felix Ruess
2014-11-08 18:22:45 +01:00
parent 31b66000de
commit 6511bdd786
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/supervision/paparazzicenter.ml
+1 -1
View File
@@ -204,7 +204,7 @@ let () =
let buffer = GText.buffer ~tag_table () in
gui#console#set_buffer buffer;
let errors = "red", ["error"; "no such file"; "undefined reference"; "failure"; "multiple definition"]
let errors = "red", ["error:"; "error "; "no such file"; "undefined reference"; "failure"; "multiple definition"]
and warnings = "orange", ["warning"]
and info = "green", ["pragma message"]
and version = "cyan", ["paparazzi version"; "build aircraft"] in