From cceb49082330da795081b3797761f759cacc0528 Mon Sep 17 00:00:00 2001
From: sawka <mike.sawka@gmail.com>
Date: Sun, 26 Mar 2023 23:30:50 -0700
Subject: [PATCH] fix mods.ctrl, bind meta-ctrl-[num] to switch session

---
 src/emain.ts | 2 +-
 src/model.ts | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/emain.ts b/src/emain.ts
index 7c5a7e93..c2f1e8ff 100644
--- a/src/emain.ts
+++ b/src/emain.ts
@@ -163,7 +163,7 @@ electron.Menu.setApplicationMenu(menu);
 let MainWindow = null;
 
 function getMods(input : any) {
-    return {meta: input.meta, shift: input.shift, ctrl: input.ctrl, alt: input.alt};
+    return {meta: input.meta, shift: input.shift, ctrl: input.control, alt: input.alt};
 }
 
 function shNavHandler(event : any, url : any) {
diff --git a/src/model.ts b/src/model.ts
index 3e38b945..2dedbc98 100644
--- a/src/model.ts
+++ b/src/model.ts
@@ -2704,6 +2704,10 @@ class Model {
     }
 
     onDigitCmd(e : any, arg : {digit: number}, mods : KeyModsType) {
+        if (mods.meta && mods.ctrl) {
+            GlobalCommandRunner.switchSession(String(arg.digit));
+            return;
+        }
         GlobalCommandRunner.switchScreen(String(arg.digit));
     }