VSCode
A quick note on how to change the default terminal in VSCode to Git Bash. Introduction How to Set Git Bash as the Default Terminal in VSCode 1. Open Settings 2. Type "terminal.integrated.defaultProfile.windows" in the search bar 3. Select …
A quick note on how to return to your original cursor position after jumping to a code definition with F12 (Go to Definition) in VSCode. Introduction Shortcut to Go Back in VSCode Conclusion References Introduction F12 (Go to Definition) i…
Here's a guide on how to fix the issue where VSCode's F12 (Go to Definition) stops working when using Python's venv. Introduction How to Fix F12 (Go to Definition) Not Working with venv in VSCode Cause Solution Conclusion Introduction VSCo…
This is a quick memo on how to disable the dark theme in Draw.io when using it in VSCode. The Dark Theme in Draw.io Is Hard to Use How to Disable the Dark Theme Conclusion The Dark Theme in Draw.io Is Hard to Use The "Draw.io Integration" …