wie muß in user.js dieser Eintrag lauten ?

Die erweiterten Einstellungen öffnen und nach 'devtools' suchen. Da wirst du fündig.

Zitat von ggbsde

Die erweiterten Einstellungen öffnen und nach 'devtools' suchen. Da wirst du fündig.

Laut dem Camp sollte es der ↓ Eintrag sein.

user_pref("ui.popup.disable_autohide",false);

Ja, das isses. Ich hatte gedacht, es sei devtools popup.disable_autohide, aber das wirkt nur (falls überhaupt) in den Entwickler Tools.