Ich hatte das Problem mit der Adressleiste doch noch. Vielleicht wirkte in dem Moment, als ich Andreas das Funktionieren bestätigte, doch noch das Anpassen-Fenster. Aber ich glaube, ich habe den Störenfried bei mir gefunden, der sich mit den aktuellen Änderungen an der Adressleiste nicht verträgt. Und zwar ist es folgendes Skript:
JavaScript
/*Urlbar verschieben*/
(function() {
if (location != 'chrome://browser/content/browser.xhtml')
return;
try {
CustomizableUI.createWidget({
id: 'ucjs_urlbar-item',
type: 'custom',
defaultArea: CustomizableUI.AREA_NAVBAR,
onBuild: function(aDocument) {
var toolbaritem = aDocument.createElementNS('http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul', 'toolbaritem');
toolbaritem.id = 'ucjs_urlbar-item';
toolbaritem.className = 'chromeclass-toolbar-additional';
toolbaritem.setAttribute('label', 'Adressleiste');
toolbaritem.setAttribute('flex', '1');
return toolbaritem;
}
});
} catch(e) { };
document.getElementById('ucjs_urlbar-item').appendChild(document.getElementById('urlbar-container'));
})();
Alles anzeigen
Es verschiebt irgendwie die Adressleiste, zumindest habe ich es seinerzeit (keine Ahnung mehr wann und warum) übernommen. Bisher tat es seinen Dienst. Jetzt geriet es wohl in Konflikt zu den derzeitigen Änderungen. Jedenfalls, wenn ich es deaktiviere, habe ich das Problem auch bei geöffneter Liste nicht mehr.