diff --git a/exec/user_settings.js b/exec/user_settings.js index 261a4ae85a72fef19db03fc2db8426054bd9d12e..ca2e96b80f2e4c937fce03a3b0094d5089a076e0 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';