From bc8316ccf7eb8e4d622386a1835eac8a400f047c Mon Sep 17 00:00:00 2001
From: Radu <radu@pml4t.net>
Date: Thu, 31 Aug 2023 17:13:52 -0400
Subject: Erase semicolons following commands

Thus, allow commands to be terminated without inserting and then manually
deleting a non-word character.
---
 page.js | 1 +
 1 file changed, 1 insertion(+)

(limited to 'page.js')

diff --git a/page.js b/page.js
index e74cb35..7546de7 100644
--- a/page.js
+++ b/page.js
@@ -154,6 +154,7 @@
         return { end: nameStart + 2, success: true };
       else return { end: nameStart + 1, success: false };
       const name = input.value.slice(nameStart, nameEnd);
+      if (input.value[nameEnd] === ";") nameEnd++;
 
       const argsCount = {
         "\\x": 0,
-- 
cgit v1.2.3