From 252b1dc3b56c2f93adb890d7f4620a98dd5da1b9 Mon Sep 17 00:00:00 2001
From: "Rob Swindell (on Debian Linux)" <rob@synchro.net>
Date: Tue, 9 Apr 2024 12:25:44 -0700
Subject: [PATCH] The kludge of reverting the Pause prompt string is no longer
needed
... when using user_settings.js (i.e. to switch command shells), the user's
text.<lang>.ini is re-loaded, thus reverting any changes (e.g. made when
loading another shell, like simple.bin).
Also, this was causing the translated Pause strings (from text.<lang>.ini)
to be lost.
---
exec/default.js | 1 -
1 file changed, 1 deletion(-)
diff --git a/exec/default.js b/exec/default.js
index 0fc9fdf220..6dc7b607e2 100755
--- a/exec/default.js
+++ b/exec/default.js
@@ -10,7 +10,6 @@ require("userdefs.js", "UFLAG_T");
require("nodedefs.js", "NODE_MAIN");
require("key_defs.js", "KEY_UP");
require("gettext.js", "gettext");
-bbs.revert_text(bbs.text.Pause);
load("termsetup.js");
var shell = load({}, "shell_lib.js");
--
GitLab