From 1bd4300d1b34d5d0f8ecb0b23a2c663c2ba61d3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=A1clav=20Val=C3=AD=C4=8Dek?= <valicek1994@gmail.com>
Date: Wed, 20 Dec 2017 12:10:56 +0100
Subject: [PATCH] Enable colored output for output logs

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

diff --git a/src/resources/js/app.js b/src/resources/js/app.js
index 9cc33cb..57e45f2 100644
--- a/src/resources/js/app.js
+++ b/src/resources/js/app.js
@@ -430,7 +430,7 @@ const Run = function() {
   };
   var firstLog = false;
   var logHandler = function(vm, d) {
-    state.log += d.replace(/</g,'&lt;').replace(/>/g,'&gt;');
+    state.log += ansi_up.ansi_to_html(d.replace(/</g,'&lt;').replace(/>/g,'&gt;'));
     vm.$forceUpdate();
     if (!firstLog) {
       firstLog = true;