From 3f8f9ec4079c7fc0df41acb1424d8e7208eab0a8 Mon Sep 17 00:00:00 2001
From: mikeller <github@ike.ch>
Date: Tue, 24 Mar 2020 01:32:57 +1300
Subject: [PATCH] Amended error highlighting in CLI.

---
 src/js/tabs/cli.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/js/tabs/cli.js b/src/js/tabs/cli.js
index 3386e157..775e8c94 100644
--- a/src/js/tabs/cli.js
+++ b/src/js/tabs/cli.js
@@ -355,7 +355,7 @@ function writeLineToOutput(text) {
         return; // suppress output if in building state
     }
 
-    if (text.startsWith("###ERROR: ")) {
+    if (text.startsWith("###ERROR")) {
         writeToOutput('<span class="error_message">' + text + '</span><br>');
     } else {
         writeToOutput(text + "<br>");