diff --git a/xtrn/lord/lord.js b/xtrn/lord/lord.js index 5896d95b8860acbb72baf62353ffac12d6ae03a3..7936f6b1d98688707fa98b70b801990a5c3187e2 100644 --- a/xtrn/lord/lord.js +++ b/xtrn/lord/lord.js @@ -15,10 +15,6 @@ js.load_path_list.unshift(js.exec_dir+"dorkit/"); load("dorkit.js"); dk.console.auto_pause = false; -if (js.global.console !== undefined) { - console.ctrlkey_passthru = dk_old_ctrlkey_passthru; - console.ctrlkey_passthru = '+['; -} delete dk.console.local_screen; delete dk.console.remote_screen; require("recordfile.js", "RecordFile");