From e896b5d7bc5bc0e21078580c96be2a9695059735 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Remko=20Tron=C3=A7on?= <remko@el-tramo.be>
Date: Fri, 10 Jun 2022 20:00:18 +0200
Subject: [PATCH] shell: Flush output on paste

---
 src/web/shell/shell.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/web/shell/shell.js b/src/web/shell/shell.js
index 18ef8c4..25f8cb5 100644
--- a/src/web/shell/shell.js
+++ b/src/web/shell/shell.js
@@ -96,7 +96,8 @@ function startConsole() {
       inputbuffer = [];
     }
     if (newInputBuffer.length > 0) {
-      output(newInputBuffer.join(""));
+      output(newInputBuffer.join(""), true);
+      flush();
     }
     inputbuffer = newInputBuffer;
   });