No Way to Use Ctrl + Number instead of Alt + Number to Switch Tabs
There is no way to use Ctrl + Number as the keyboard shortcut instead of Alt + Number for going to a tab. According to a user on https://bugzilla.mozilla.org/show_bug.cgi?id=1389644, GNOME has Alt hard-coded. I'd like to be able to change it to use Ctrl in the keyboard shortcut settings.