@codingame/monaco-vscode-keybindings-service-override 25.1.2 → 26.0.1

package/vscode/src/vs/workbench/services/keybinding/common/windowsKeyboardMapper.js

@@ -14,22 +14,26 @@ class WindowsNativeResolvedKeybinding extends BaseResolvedKeybinding {
     }
     _getLabel(chord) {
         if (chord.isDuplicateModifierCase()) {
-            return '';
+            return "";
         }
         return this._mapper.getUILabelForKeyCode(chord.keyCode);
     }
     _getUSLabelForKeybinding(chord) {
         if (chord.isDuplicateModifierCase()) {
-            return '';
+            return "";
         }
         return ( KeyCodeUtils.toString(chord.keyCode));
     }
     getUSLabel() {
-        return UILabelProvider.toLabel(this._os, this._chords, (keybinding) => this._getUSLabelForKeybinding(keybinding));
+        return UILabelProvider.toLabel(
+            this._os,
+            this._chords,
+            keybinding => this._getUSLabelForKeybinding(keybinding)
+        );
     }
     _getAriaLabel(chord) {
         if (chord.isDuplicateModifierCase()) {
-            return '';
+            return "";
         }
         return this._mapper.getAriaLabelForKeyCode(chord.keyCode);
     }
@@ -38,7 +42,7 @@ class WindowsNativeResolvedKeybinding extends BaseResolvedKeybinding {
     }
     _getUserSettingsLabel(chord) {
         if (chord.isDuplicateModifierCase()) {
-            return '';
+            return "";
         }
         const result = this._mapper.getUserSettingsLabelForKeyCode(chord.keyCode);
         return (result ? result.toLowerCase() : result);
@@ -47,10 +51,7 @@ class WindowsNativeResolvedKeybinding extends BaseResolvedKeybinding {
         return this.__isWYSIWYG(chord.keyCode);
     }
     __isWYSIWYG(keyCode) {
-        if (keyCode === KeyCode.LeftArrow
-            || keyCode === KeyCode.UpArrow
-            || keyCode === KeyCode.RightArrow
-            || keyCode === KeyCode.DownArrow) {
+        if (keyCode === KeyCode.LeftArrow || keyCode === KeyCode.UpArrow || keyCode === KeyCode.RightArrow || keyCode === KeyCode.DownArrow) {
             return true;
         }
         const ariaLabel = this._mapper.getAriaLabelForKeyCode(keyCode);
@@ -61,34 +62,34 @@ class WindowsNativeResolvedKeybinding extends BaseResolvedKeybinding {
         if (chord.isModifierKey()) {
             return null;
         }
-        let result = '';
+        let result = "";
         if (chord.ctrlKey) {
-            result += 'ctrl+';
+            result += "ctrl+";
         }
         if (chord.shiftKey) {
-            result += 'shift+';
+            result += "shift+";
         }
         if (chord.altKey) {
-            result += 'alt+';
+            result += "alt+";
         }
         if (chord.metaKey) {
-            result += 'meta+';
+            result += "meta+";
         }
         result += ( KeyCodeUtils.toString(chord.keyCode));
         return result;
     }
     _getSingleModifierChordDispatch(chord) {
         if (chord.keyCode === KeyCode.Ctrl && !chord.shiftKey && !chord.altKey && !chord.metaKey) {
-            return 'ctrl';
+            return "ctrl";
         }
         if (chord.keyCode === KeyCode.Shift && !chord.ctrlKey && !chord.altKey && !chord.metaKey) {
-            return 'shift';
+            return "shift";
         }
         if (chord.keyCode === KeyCode.Alt && !chord.ctrlKey && !chord.shiftKey && !chord.metaKey) {
-            return 'alt';
+            return "alt";
         }
         if (chord.keyCode === KeyCode.Meta && !chord.ctrlKey && !chord.shiftKey && !chord.altKey) {
-            return 'meta';
+            return "meta";
         }
         return null;
     }
@@ -110,9 +111,9 @@ class WindowsNativeResolvedKeybinding extends BaseResolvedKeybinding {
     static getProducedChar(chord, mapping) {
         const char = this.getProducedCharCode(chord, mapping);
         if (char === null || char.length === 0) {
-            return ' --- ';
+            return " --- ";
         }
-        return '  ' + char + '  ';
+        return "  " + char + "  ";
     }
 }
 class WindowsKeyboardMapper {
@@ -163,7 +164,7 @@ class WindowsKeyboardMapper {
                     value: value,
                     withShift: withShift,
                     withAltGr: withAltGr,
-                    withShiftAltGr: withShiftAltGr,
+                    withShiftAltGr: withShiftAltGr
                 };
                 this._codeInfo[scanCode] = mapping;
                 this._scanCodeToKeyCode[scanCode] = keyCode;
@@ -173,24 +174,20 @@ class WindowsKeyboardMapper {
                 this._keyCodeExists[keyCode] = true;
                 if (value.length === 0) {
                     this._keyCodeToLabel[keyCode] = null;
-                }
-                else if (value.length > 1) {
+                } else if (value.length > 1) {
                     this._keyCodeToLabel[keyCode] = value;
-                }
-                else {
+                } else {
                     const charCode = value.charCodeAt(0);
                     if (charCode >= CharCode.a && charCode <= CharCode.z) {
                         const upperCaseValue = CharCode.A + (charCode - CharCode.a);
                         producesLetter[upperCaseValue] = true;
                         producesLetters = true;
                         this._keyCodeToLabel[keyCode] = String.fromCharCode(CharCode.A + (charCode - CharCode.a));
-                    }
-                    else if (charCode >= CharCode.A && charCode <= CharCode.Z) {
+                    } else if (charCode >= CharCode.A && charCode <= CharCode.Z) {
                         producesLetter[charCode] = true;
                         producesLetters = true;
                         this._keyCodeToLabel[keyCode] = value;
-                    }
-                    else {
+                    } else {
                         this._keyCodeToLabel[keyCode] = value;
                     }
                 }
@@ -246,12 +243,11 @@ class WindowsKeyboardMapper {
     }
     dumpDebugInfo() {
         const result = [];
-        const immutableSamples = [
-            ScanCode.ArrowUp,
-            ScanCode.Numpad0
-        ];
+        const immutableSamples = [ScanCode.ArrowUp, ScanCode.Numpad0];
         let cnt = 0;
-        result.push(`-----------------------------------------------------------------------------------------------------------------------------------------`);
+        result.push(
+            `-----------------------------------------------------------------------------------------------------------------------------------------`
+        );
         for (let scanCode = ScanCode.None; scanCode < ScanCode.MAX_VALUE; scanCode++) {
             if (IMMUTABLE_CODE_TO_KEY_CODE[scanCode] !== KeyCode.DependsOnKbLayout) {
                 if (immutableSamples.indexOf(scanCode) === -1) {
@@ -259,8 +255,12 @@ class WindowsKeyboardMapper {
                 }
             }
             if (cnt % 6 === 0) {
-                result.push(`|       HW Code combination      |  Key  |    KeyCode combination    |          UI label         |        User settings       | WYSIWYG |`);
-                result.push(`-----------------------------------------------------------------------------------------------------------------------------------------`);
+                result.push(
+                    `|       HW Code combination      |  Key  |    KeyCode combination    |          UI label         |        User settings       | WYSIWYG |`
+                );
+                result.push(
+                    `-----------------------------------------------------------------------------------------------------------------------------------------`
+                );
             }
             cnt++;
             const mapping = this._codeInfo[scanCode];
@@ -274,26 +274,30 @@ class WindowsKeyboardMapper {
                 const keyCodeChord = this._resolveChord(scanCodeChord);
                 const strKeyCode = (keyCodeChord ? ( KeyCodeUtils.toString(keyCodeChord.keyCode)) : null);
                 const resolvedKb = (keyCodeChord ? ( new WindowsNativeResolvedKeybinding(this, [keyCodeChord])) : null);
-                const outScanCode = `${ctrlKey ? 'Ctrl+' : ''}${shiftKey ? 'Shift+' : ''}${altKey ? 'Alt+' : ''}${strCode}`;
+                const outScanCode = `${ctrlKey ? "Ctrl+" : ""}${shiftKey ? "Shift+" : ""}${altKey ? "Alt+" : ""}${strCode}`;
                 const ariaLabel = (resolvedKb ? resolvedKb.getAriaLabel() : null);
-                const outUILabel = (ariaLabel ? ariaLabel.replace(/Control\+/, 'Ctrl+') : null);
+                const outUILabel = (ariaLabel ? ariaLabel.replace(/Control\+/, "Ctrl+") : null);
                 const outUserSettings = (resolvedKb ? resolvedKb.getUserSettingsLabel() : null);
                 const outKey = WindowsNativeResolvedKeybinding.getProducedChar(scanCodeChord, mapping);
-                const outKb = (strKeyCode ? `${ctrlKey ? 'Ctrl+' : ''}${shiftKey ? 'Shift+' : ''}${altKey ? 'Alt+' : ''}${strKeyCode}` : null);
+                const outKb = (strKeyCode ? `${ctrlKey ? "Ctrl+" : ""}${shiftKey ? "Shift+" : ""}${altKey ? "Alt+" : ""}${strKeyCode}` : null);
                 const isWYSIWYG = (resolvedKb ? resolvedKb.isWYSIWYG() : false);
-                const outWYSIWYG = (isWYSIWYG ? '       ' : '   NO  ');
-                result.push(`| ${this._leftPad(outScanCode, 30)} | ${outKey} | ${this._leftPad(outKb, 25)} | ${this._leftPad(outUILabel, 25)} |  ${this._leftPad(outUserSettings, 25)} | ${outWYSIWYG} |`);
+                const outWYSIWYG = (isWYSIWYG ? "       " : "   NO  ");
+                result.push(
+                    `| ${this._leftPad(outScanCode, 30)} | ${outKey} | ${this._leftPad(outKb, 25)} | ${this._leftPad(outUILabel, 25)} |  ${this._leftPad(outUserSettings, 25)} | ${outWYSIWYG} |`
+                );
             }
-            result.push(`-----------------------------------------------------------------------------------------------------------------------------------------`);
+            result.push(
+                `-----------------------------------------------------------------------------------------------------------------------------------------`
+            );
         }
-        return result.join('\n');
+        return result.join("\n");
     }
     _leftPad(str, cnt) {
         if (str === null) {
-            str = 'null';
+            str = "null";
         }
         while (str.length < cnt) {
-            str = ' ' + str;
+            str = " " + str;
         }
         return str;
     }