Browser-Werkzeuge bzw. Weitere-Werkzeuge

  • Firefox-Version
    109.0 (64Bit)
    Betriebssystem
    Windows 10 Version 22H2 (Build 19045.2486)

    Seit einiger Zeit nervte es mich, dass es unter "Extra" Browser-Werkzeuge

    und im "Hamburgermenü" Weitere-Werkzeuge hieß.


    Ich habe nun ein wenig Zeit gebraucht um, unter "Extra" das Label zu ändern.

    Und hier der CSS-Code dafür.

    Mit den Werten muss/kann jeder ja noch etwas herumspielen, damit es dann passt.

    Mit <3lichem Gruß

    Mira

  • Im Hamburger auch "Browser-Werkzeuge". ;)

    Hast Du das so gemacht?

    Für mich sind die Browser-Werkzeuge ganz explizit die Browser-Werkzeuge,

    das Menü, welches diese freigibt und auch die anderen "Tools" d.h. bei mir jetzt

    einheitlich Weitere-Werkzeuge.

    Kann und darf ja jede(r) machen, wie er/sie will.

    Mit <3lichem Gruß

    Mira

  • Hast Du das so gemacht?


    Das Design hat FuchsFan angepasst, aber die Überschrift ist standardmäßig „Browser-Werkzeuge“:



    Der Menüpunkt heißt nicht „Browser-Werkzeuge“, sondern „Weitere Werkzeuge“, weil das Menü mehr beinhaltet, siehe erster Eintrag im Screenshot. Das gibt es im Extras-Menü der Menüleiste nicht.