From: Edward Delaporte <delaport@illinois.edu>
Date: Mon, 2 Oct 2023 17:03:30 +0000 (-0500)
Subject: Merge branch 'main' of github.com:edthedev/dotfiles
X-Git-Url: https://apps.delaporte.us/gitweb/dotfiles.git/commitdiff_plain/0e988598b9d72fbbc9a265d0639675a4bdcc9ca8?hp=441f847d00ee946332f7b8a86df18b89f04dc151

Merge branch 'main' of github.com:edthedev/dotfiles
---

diff --git a/doc/shortcuts.md b/doc/shortcuts.md
index cb68da3..45febee 100644
--- a/doc/shortcuts.md
+++ b/doc/shortcuts.md
@@ -44,12 +44,16 @@ I have a bit of JavaScript in the HTML file I use for my homepage. It causes the
 
 ## Shortcuts in MS PowerToys
 
+### Remapped Keys
+
 In `Keyboard Manager`, `Remap a Key`:
 
 To Mute/Unmute the `Teams` microphone with the dedicated `Volume Mute` button:
 
 - `Volume Mute` to `Ctrl+Shift+M`
 
+### Remapped Shortcuts
+
 In `Keyboard Manager`, `Remap a Shortcut`:
 
 For `Raise Hand`:
@@ -61,3 +65,7 @@ For `Mute`:
 
 - `Alt+Shift+6` to `Ctrl+Shift+M` in app `teams`
 - `Alt+Shift+6` to `Ctrl+A` in app `zoom`
+
+For the VSCode/VSCodium terminal:
+
+- `Alt+Shift+4` to 'Ctrl+`' in app `All Apps`