Guten Morgen

Ich hab ein kleines Problem. Und zwar hab ich bei mir im FF die Web Developer Extension installiert. Da kann man ja eigentlich mit Ctrl + Shift + D die Style-Sheets der aktuellen Seite deaktivieren - nur leider funktioniert das bei mir nicht. Hört sich jetzt nach einem kleinen Detail an, aber da ich das sehr oft mache, wäre es halt schon ganz nett, wenn das direkt geht anstatt erst den mühsamen Umweg übers Menü nehmen zu müssen.

An anderen Extensions, die möglicherweise diesen Shortcut "überblenden", kann's nicht liegen - ich hab sowieso nur noch eins (AdBlock), aber unter Windows kooperieren diese beiden auch ohne Probleme.

Komischerweise funktionieren gewisse Shortcuts (z. B. Ctrl + Shift + J, um die JS-Konsole anzuzeigen), aber andere (darunter Ctrl + Shift + D) nicht. Ich hab allerdings keine Ahnung, wieso das so ist.

Hat jemand einen hilfreichen Tip, woran das liegen oder wie ich den Shortcut wieder aktivieren kann?

MfG

SilentWarrior