From ebeac3fdf64673e980d79b006881015b05f11b36 Mon Sep 17 00:00:00 2001
From: "Rob Swindell (on Debian Linux)" <rob@synchro.net>
Date: Sat, 18 Nov 2023 17:12:56 -0800
Subject: [PATCH] Don't load text.js - no longer needed in v3.20
---
exec/default.js | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/exec/default.js b/exec/default.js
index afb39a84b0..0fc9fdf220 100755
--- a/exec/default.js
+++ b/exec/default.js
@@ -10,8 +10,7 @@ require("userdefs.js", "UFLAG_T");
require("nodedefs.js", "NODE_MAIN");
require("key_defs.js", "KEY_UP");
require("gettext.js", "gettext");
-require("text.js", "Pause");
-bbs.revert_text(Pause);
+bbs.revert_text(bbs.text.Pause);
load("termsetup.js");
var shell = load({}, "shell_lib.js");
--
GitLab