Crl-Digit Thomas Wilburn מאת

This sets Ctrl-0 through Ctrl-9 to work on all platforms for switching tabs. Useful if you have those reflexes built up.