wie muß in user.js dieser Eintrag lauten ?

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

Quote from 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.

Quote from Tapo

Danke

Aber gerne doch.