diff --git a/exec/default.js b/exec/default.js index 6dc7b607e29fc4b3e8164aa9d1b3550855915175..99aabc7000a3edeff32c1af64cf460227f52b8a9 100755 --- a/exec/default.js +++ b/exec/default.js @@ -13,6 +13,8 @@ require("gettext.js", "gettext"); load("termsetup.js"); var shell = load({}, "shell_lib.js"); +system.settings &= ~SYS_RA_EMU; // Use (R)e-read and (A)uto-reply keys + const help_key = '?'; // If user has unlimited time, display time-used rather than time-remaining const time_code = user.security.exemptions & UFLAG_T ? "@TUSED@" : "@TLEFT@";