Use the js.on_exit() method of restoring the bbs.sys_status and

console.ctrlkey_passthru values. This allows these critical session
settings to be restored even if/when fseditor.js crashes/abends
(e.g. exits unexpectedly due to unhandled JS exception).