Ich musste das Sript nochmal neu erfinden.
Grund war, dass das Verschieben des Buttons plötzlich zu einem unerwünschten Ergebnis führte: ich konnte ihn nicht mehr "greifen", um ihn nochmals woanders hin zu verschieben. Er lag hinter zwei anderen Buttons verdeckt...
War mir zu unsicher, und da er ohnehin nur fest ins Überhangmenü sollte, habe ich jetzt das hier am Start:
// Erweiterungen-Button_verschoben.uc.js
(function() {
if (location != 'chrome://browser/content/browser.xhtml')
return;
var extensionsButton = document.getElementById('unified-extensions-button');
var overflowMenuButton = document.getElementById('overflowMenu-customize-button');
var overflowMenuButtonParent = overflowMenuButton.parentNode;
overflowMenuButtonParent.insertBefore(extensionsButton, overflowMenuButton);
for (var i = 0; i < extensionsButton.childElementCount; i++) {
if (extensionsButton.childNodes[i].className == "toolbarbutton-text") {
extensionsButton.setAttribute('style', 'margin-top: unset');
extensionsButton.childNodes[i].style = 'text-align: left; padding-left: 6px';
extensionsButton.childNodes[i].value = 'Erweiterungen...';
break;
}
}
//setTimeout(function() {
// extensionsButton.setAttribute("label", "Erweiterungen...");
// extensionsButton.setAttribute("tooltiptext", "Erweiterungen...");
// document.getElementById('unified-extensions-button').setAttribute("label", "Erweiterungen...");
// document.getElementById('unified-extensions-button').setAttribute("tooltiptext", "Erweiterungen...");
//}, 10000);
})();
Alles anzeigen
Damit wird der originale Button vor den letzten Eintrag im Überhangmenü fest hin verschoben.
Sieht dann so aus:
Es gibt nur das bisher ungelöste Problem, den Tooltip-Text auch anzupassen.
Die Versuche mit verschiedenem Code (z.B. auch die oben auskommentierten) funktionieren nicht zuverlässig.
Aus der Konsole heraus geht es immer.
Liegt vermutlich an einer zeitlichen Überschneidung während des Ladens der Elemente.
Wenn jemand dazu noch eine Idee hat (z.B. eine definierte Warteschleife), bitte, gerne. Ist zwar nicht wirklich wichtig, aber dennoch interessant.