Opened this issue 7 years ago · 7 comments
Advertise some useful extensions
Hot Settings
Hot Source
Hot Windows
Keyboard Shortcuts Manager
Whack Whack Terminal
Git Diff Margin
Hot Commands