Ctrl-digit to switch to tab on Linux Firefox

Since I switch between Linux Firefox, Windows Firefox, and Chrome, it would be nice if I could access tabs with the same shortcut everywhere. The path of least resistance turns out to be to make Linux Firefox understand Ctrl-<digit> for tab switching. So here's my first Firefox extension, which seems to do the trick:

Files currently attached to this page:


(tested on Iceweasel 26.0)

Entry first conceived on 25 January 2014, 16:17 UTC, last modified on 27 January 2014, 17:51 UTC
Website Copyright © 2004-2018 Jeff Epler