From 74b311237c5aaf961ad88abe7c9fcb7c23460c46 Mon Sep 17 00:00:00 2001 From: Pratik Tripathy Date: Thu, 2 Mar 2023 13:28:18 +0530 Subject: [PATCH] Updated VScode terminal keybinding --- .config/Code/User/keybindings.json | 15 ++++++++++++++- .config/Code/User/settings.json | 1 + 2 files changed, 15 insertions(+), 1 deletion(-) diff --git a/.config/Code/User/keybindings.json b/.config/Code/User/keybindings.json index a2369c5..8c74d0e 100755 --- a/.config/Code/User/keybindings.json +++ b/.config/Code/User/keybindings.json @@ -50,5 +50,18 @@ "key": "ctrl+shift+j", "command": "editor.action.joinLines" }, - { "key": "ctrl+shift+j", "command": "workbench.action.togglePanel" } + { + "key": "ctrl+shift+j", + "command": "workbench.action.togglePanel" + }, + { + "key": "shift+f1", + "command": "workbench.action.terminal.toggleTerminal", + "when": "terminal.active" + }, + { + "key": "ctrl+`", + "command": "-workbench.action.terminal.toggleTerminal", + "when": "terminal.active" + } ] diff --git a/.config/Code/User/settings.json b/.config/Code/User/settings.json index 48356ae..a40c4cd 100755 --- a/.config/Code/User/settings.json +++ b/.config/Code/User/settings.json @@ -4,6 +4,7 @@ "workbench.settings.editor": "json", // // Privacy + "telemetry.telemetryLevel": "off", "telemetry.enableTelemetry": false, "telemetry.enableCrashReporter": false, "extensions.ignoreRecommendations": true,