From e3b31ba99f4a603ace4191fe95a46b984a1e278c Mon Sep 17 00:00:00 2001
From: Nicolas Setton <setton@adacore.com>
Date: Mon, 18 Jun 2018 14:23:18 -0400
Subject: [PATCH] Add support for making the "info" lines blue

For R525-028
---
 compile_server/app/static/common.css | 11 +++++++++++
 compile_server/app/static/editors.js | 12 +++++++++++-
 2 files changed, 22 insertions(+), 1 deletion(-)

diff --git a/compile_server/app/static/common.css b/compile_server/app/static/common.css
index 170697f..08d1563 100644
--- a/compile_server/app/static/common.css
+++ b/compile_server/app/static/common.css
@@ -30,6 +30,17 @@ div.output_msg:hover{
    background-color:#fdd;
 }
 
+div.output_msg_info{
+   color: #449;
+   padding-left:15px;
+   padding-right:3px;
+}
+
+div.output_msg_info:hover{
+   background-color:#ddf;
+}
+
+
 div.output_info{
    color: #222;
    padding-left:3px;
diff --git a/compile_server/app/static/editors.js b/compile_server/app/static/editors.js
index 93a298a..bbf893a 100644
--- a/compile_server/app/static/editors.js
+++ b/compile_server/app/static/editors.js
@@ -21,7 +21,17 @@ function process_check_output(editors, output_area, output, status, completed, m
 
         // Look for lines that contain an error message
         var match_found = l.match(/^([a-zA-Z._0-9-]+):(\d+):(\d+):(.+)$/)
-        var klass = match_found ? "output_msg" : "output_line"
+        if (match_found) {
+           if (match_found[4].startsWith(" info:")) {
+              var klass = "output_msg_info"
+           }
+           else {
+              var klass = "output_msg"
+           }
+        }
+        else {
+           var klass = "output_line"
+        }
 
         // Print the line in the output area
         var div = $('<div class="' + klass + '">')