Hallo,
werden diese beiden Erweiterungen upgedatet, damit sie nach Firefox 57 laufen?
Vielen Dank für Info.
Gruß mike
DOM und Element Inspectoren
-
M.T.R -
20. Juli 2017 um 00:48 -
Erledigt
-
-
DOM Inspector - nein.
-
Hallo,
danke für die Info.
Läuft der Element Inspector auch ohne DOM Inspector?
Wir brauchen den um die IDs von menuitems etc zu bekommen für die userchrome.css.Gruß mike
-
Ich kenne den Element Inspector nicht. Aber laut Beschreibung von addons.mozilla.org funktioniert die Erweiterung auch ohne DOM Inspector. Ob der Element Inspector noch in Firefox 57 funktioniert, ist ein anderes Thema, das ist ja auch keine WebExtension.
Reichen die in Firefox standardmäßig vorhandenen Werkzeuge nicht aus, um an die IDs zu kommen?
-
Keine Ahnung.
Wenn ich google um die IDs zu bekommen, finde ich nur DOM Inspektor mit Element Inspektor.
Wenn Firefox das auch alleine kann, um so besser.
Ich bin für jede Info diesbezgl. dankbar.
Jedenfalls ist die Option mit userchrome.css super.
Gruß mike
-
Du brauchst dieses Werkzeug dafür:
https://developer.mozilla.org/en-US/docs/Tools/Browser_Toolbox -
Hallo Sören,
vielen Dank für die Info.
Ich habe das Werkzeug aktiviert,
bin aber leider nicht viel weiter gekommen.Bei dem bereits erwähnten DOM/Element Inspektor habe ich einen Menupunkt mit der rechten Maustaste bei gedrückter Shift Taste angewählt und daraufhin die entsprechende ID erhalten.
Wie muß ich bei dem von Dir empfohlenen Werkzeug verfahren?
Vielen Dank für mehr Infos.
gruß mike