Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/microsoft/vscode.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Pasero <benjamin.pasero@microsoft.com>2021-09-24 11:34:47 +0300
committerBenjamin Pasero <benjamin.pasero@microsoft.com>2021-09-24 11:34:54 +0300
commita088f8ddc0706e0442628073c432ea3d31c385a6 (patch)
tree40d69ea87930687c2387f5e647c99af74fe6b06e /src/bootstrap-window.js
parent17003eb6a6a3cb91b4a6d98e009e2e5b5948a37a (diff)
remove weird space character from sources
Diffstat (limited to 'src/bootstrap-window.js')
-rw-r--r--src/bootstrap-window.js4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bootstrap-window.js b/src/bootstrap-window.js
index a9f5e922a40..009ea7aae67 100644
--- a/src/bootstrap-window.js
+++ b/src/bootstrap-window.js
@@ -186,7 +186,7 @@
}
/**
- * @param {boolean | undefined} disallowReloadKeybinding
+ * @param {boolean | undefined} disallowReloadKeybinding
* @returns {() => void}
*/
function registerDeveloperKeybindings(disallowReloadKeybinding) {
@@ -211,7 +211,7 @@
const TOGGLE_DEV_TOOLS_KB_ALT = '123'; // F12
const RELOAD_KB = (safeProcess.platform === 'darwin' ? 'meta-82' : 'ctrl-82'); // mac: Cmd-R, rest: Ctrl-R
- /** @type {((e: KeyboardEvent) => void) | undefined} */
+ /** @type {((e: KeyboardEvent) => void) | undefined} */
let listener = function (e) {
const key = extractKey(e);
if (key === TOGGLE_DEV_TOOLS_KB || key === TOGGLE_DEV_TOOLS_KB_ALT) {