Shortcut for terminal tabs
Is there a shortcut to switch between terminal tabs?
1 comment
Sort by
Date
Votes
Hi Pavel, not yet, but there is an issue: http://youtrack.jetbrains.com/issue/PY-10852
Please sign in to leave a comment.