4 ms·
Hardly any. I've been interchangeably using the two OS' for a couple years now, and the only difference in Firefox shortcuts (general, not just dev tools) I've
by blauditore 9y ago
Hardly any. I've been interchangeably using the two OS' for a couple years now, and the only difference in Firefox shortcuts (general, not just dev tools) I've noticed is the one for jumping to the nth tab: It's Ctrl+<number> under Windows and Alt+<number> under Linux (at least Ubuntu with Unity or Gnome).