fix mods.ctrl, bind meta-ctrl-[num] to switch session

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

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));
     }