Switch between tabs with CMD-1, CMD-2, etc
Currently there are two ways to switch between tabs:
1) CMD-M and click the tab you want to jump to
2) CMD-<ARROW LEFT> or CMD-<ARROW RIGHT>
This is nice, but not perfect. If you have many tabs it can be cumbersome to switch with the above two methods. It would be good to be able to rely more on muscle memory and align feature wise with all terminal applications on other platforms that allow tabs.
So, I propose a third method: CMD-<DIGIT>
Where <DIGIT> is the number that represents the tab, from left to right, 1 to 0 (“0” meaning tab “10”)