From 584efab36154bc5aa7dc0a88443bed42321eb388 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Deuc=D0=B5?= <shurd@sasktel.net>
Date: Sat, 27 Mar 2021 02:16:40 -0400
Subject: [PATCH] Don't enable ctrl keys with dorkit here either.
---
xtrn/lord/lord.js | 4 ----
1 file changed, 4 deletions(-)
diff --git a/xtrn/lord/lord.js b/xtrn/lord/lord.js
index 5896d95b88..7936f6b1d9 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");
--
GitLab