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 = $('
')