News for hackers. Stuff that matters.

A comment on Developer Tools Update – Firefox 22. Parent comment

Re:Developer Tools Update – Firefox 22 by aidos on Thursday April 11, 2013 @06:31AM (#5531018)
One thing I've found frustrating with Webkits console is the introduction of shortcuts recently (year ago?). In particular I'm used to hitting cmd-L to get to the onmibar but if I'm in the tools it does something else now (modal controla = bad).

Then I have to use the mouse, which makes me sad :(

[ Parent | on HN ]
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 ]
Re:Developer Tools Update – Firefox 22 by paulirish on Thursday April 11, 2013 @12:38PM (#5533041)
We're going to remove that. :)
[ Parent | on HN ]
Re:Developer Tools Update – Firefox 22 by thejosh on Thursday April 11, 2013 @10:34PM (#5536248)
Or the ability to set our own hotkeys? Is this possible?
[ Parent | on HN ]
Re:Developer Tools Update – Firefox 22 by paulirish on Thursday April 25, 2013 @09:42AM (#5607071)
It's now removed. Over in a devtools experiment now.
[ Parent | on HN ]
Re:Developer Tools Update – Firefox 22 by thejosh on Friday April 26, 2013 @03:59AM (#5611911)
Thanks for the follow up, using the dev build in Ubuntu 13.04 it works perfectly.
[ Parent | on HN ]