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).