-
Notifications
You must be signed in to change notification settings - Fork 34.2k
Closed
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalityon-testplanterminalGeneral terminal issues that don't fall under another labelGeneral terminal issues that don't fall under another label
Milestone
Description
Navigating to the right terminal for me is harder than it should be.
I can switch to the terminal panel easily, but from there I need to get to the right terminal. I can use shortcuts for that but they are "unstable" because they depend on the sequence in which I opened my terminals.
I can use Open View
but it's suboptimal because it's a long list. Good thing is terminals have ids, so I can use it to filter the list quickly.
I'd like to get an Open Terminal command that opens a quick pick just for terminals. It should also be available as global command from Cmd+P?
as terminal
.
Metadata
Metadata
Labels
feature-requestRequest for new features or functionalityRequest for new features or functionalityon-testplanterminalGeneral terminal issues that don't fall under another labelGeneral terminal issues that don't fall under another label