Patch: support 14 tabs with keyboard hotkeys
Submitted by Ingo Molnar
Created attachment 239231 extend gnome-terminal hotkeys to 14 tabs
I use a lot of terminal tabs, and my keyboard has 14 keys in the top row - all of which I'd like to use for tab switching.
gnome-terminal currently supports up to 12 tabs. The attached patch extends gnome-terminal support for keyboard tab-switching shotcuts from 12 to 14.
Tested on top of gnome-3-6 commit b99f49e3.
Patch 239231, "extend gnome-terminal hotkeys to 14 tabs":
Version: git master
Resolution: RESOLVED FIXED