From b6860ecb09dfd8ac14700eaf45895f60fc3c6f7d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A9=20Ahlert?= Date: Thu, 9 Apr 2026 10:33:45 -0300 Subject: [PATCH] fix hdb console form parse error caused by duplicate end MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Fixes #539 Signed-off-by: André Ahlert --- src/ext/hdb.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ext/hdb.js b/src/ext/hdb.js index 31b07083d..3f755ddea 100644 --- a/src/ext/hdb.js +++ b/src/ext/hdb.js @@ -335,7 +335,7 @@ var ui = ` decrement @data-hist else if event.key is 'ArrowDown' and @data-hist < 0 increment @data-hist - end end + end set #console-input.value to hdb.consoleHistory[hdb.consoleHistory.length + @data-hist as Int] or oldContent halt default