maybe bold for html?
All checks were successful
Deploy App / docker (ubuntu-latest, 2.44.0, 17, 3.8.5) (push) Successful in 1m25s
All checks were successful
Deploy App / docker (ubuntu-latest, 2.44.0, 17, 3.8.5) (push) Successful in 1m25s
This commit is contained in:
parent
65aa5b102b
commit
5c77b59b90
@ -80,14 +80,15 @@ public final class ColorUtils {
|
|||||||
String color = COLOR_MAP.getOrDefault(Character.toLowerCase(character), "");
|
String color = COLOR_MAP.getOrDefault(Character.toLowerCase(character), "");
|
||||||
builder.append("<span style=\"color:").append(color).append("\">");
|
builder.append("<span style=\"color:").append(color).append("\">");
|
||||||
nextIsColor = false;
|
nextIsColor = false;
|
||||||
continue;
|
|
||||||
}
|
if (character == 'l') { // Start bold
|
||||||
if (character == 'l') { // Start bold
|
builder.append("<span style=\"font-weight: bold;\">");
|
||||||
builder.append("<span style=\"font-weight: bold;\">");
|
continue;
|
||||||
continue;
|
}
|
||||||
}
|
if (character == 'r') { // Reset formatting
|
||||||
if (character == 'r') { // Reset formatting
|
builder.append("</span>");
|
||||||
builder.append("</span>");
|
continue;
|
||||||
|
}
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
if (character == ' ') { // Preserve space character
|
if (character == ' ') { // Preserve space character
|
||||||
|
Loading…
Reference in New Issue
Block a user