Re:Developer Tools Update – Firefox 22
by thejosh on Thursday April 11, 2013 @09:33AM
(#5531827)
ctrl+1/2/3 to switch between open tabs instead changes to different tabs is annoying too
[ Parent
| on HN ]
We're going to remove that. :)
Or the ability to set our own hotkeys? Is this possible?
It's now removed. Over in a devtools experiment now.