Browse Source

added some color

Gildas 7 years ago
parent
commit
65fd1646a6
1 changed files with 3 additions and 1 deletions
  1. 3 1
      extension/ui/content/content-ui.js

+ 3 - 1
extension/ui/content/content-ui.js

@@ -116,7 +116,9 @@ this.singlefile.ui = this.singlefile.ui || (() => {
 
 	function updateLogLine(lineElement, textContent, textStatus) {
 		lineElement.childNodes[0].textContent = textContent;
-		lineElement.childNodes[1].textContent = textStatus;
+		const statusElement = lineElement.childNodes[1];
+		statusElement.style.setProperty("color", textStatus == "✓" ? "#055000" : "black", "important");
+		statusElement.textContent = textStatus;
 	}
 
 	function clearLogs() {