paparazzicenter: don't colorize strings with info in green, only on message

2026-05-21 03:43:26 +08:00 · 2012-02-13 17:52:19 +01:00
parent 3c3a5a60e1
commit f41c9ca11e
1 changed files with 1 additions and 1 deletions
@@ -207,7 +207,7 @@ let () =

  let errors = "red", ["error"; "no such file"; "undefined reference"; "failure"]
  and warnings = "orange", ["warning"]
-  and info = "green", ["message"; "info"] in
+  and info = "green", ["message"] in

  let color_regexps =
    List.map (fun (color, strings) ->