3 ms·
The devtools are indeed dockable on the right now in FF 22, but not responsive yet (so when little horizontal real estate is available, the tools will look and
by blueveek 13y ago
The devtools are indeed dockable on the right now in FF 22, but not responsive yet (so when little horizontal real estate is available, the tools will look and feel very cramped).
The upcoming versions address this issue (in the end, it's all just CSS; for example: [0]).
[0] http://dxr.mozilla.org/mozilla-central/source/browser/themes/linux/devtools/netmonitor.css#l474 http://dxr.mozilla.org/mozilla-central/source/browser/themes...