From c41be9894d0ae62487b5d992f8a75c5cb6790fe0 Mon Sep 17 00:00:00 2001
From: "Rob Swindell (on Windows 11)" <rob@synchro.net>
Date: Sat, 17 Aug 2024 18:06:39 -0700
Subject: [PATCH] Defense against TypeError: xtrn_area.editor[thisuser.editor]
is undefined
---
exec/user_settings.js | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/exec/user_settings.js b/exec/user_settings.js
index 261a4ae85a..ca2e96b80f 100644
--- a/exec/user_settings.js
+++ b/exec/user_settings.js
@@ -115,7 +115,8 @@ function display_menu(thisuser)
keys += 'E';
console.add_hotspot('E');
console.putmsg(format(bbs.text(bbs.text.UserDefaultsXeditor)
- ,thisuser.editor ? xtrn_area.editor[thisuser.editor].name : bbs.text(bbs.text.None)));
+ ,(thisuser.editor && xtrn_area.editor[thisuser.editor])
+ ? xtrn_area.editor[thisuser.editor].name : bbs.text(bbs.text.None)));
}
if (bbs.text(bbs.text.UserDefaultsArcType).length) {
keys += 'A';
--
GitLab