You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
Add support for making the "info" lines blue
For R525-028
This commit is contained in:
@@ -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;
|
||||
|
||||
@@ -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 + '">')
|
||||
|
||||
Reference in New Issue
Block a user