Hallo Zusammen,
diese UserScript funktioniert nicht mit Firefox 115.3.1 ESR.
Kann jemand sagen, wieso oder wo das Fehler ist:
setCurrentProfileNameToTitlebar.uc.js
Code
// ==UserScript==
// @name setCurrentProfileNameToTitlebar
// @namespace http://space.geocities.yahoo.co.jp/gl/alice0775
// @description Aktuellen Profilnamen in der Titelleiste anzeigen
// @include main
// @compatibility Firefox 117
// @author Alice0775
// @version 2022/06/03 00:00
// @version 2012/12/31 00:00 Bug 818800 Remove the global private browsing service
// ==/UserScript==
// @version 2023/07/17 00:00 use ES module imports
// @version 2015/06/06 fix
// @version 2012/08/06 08:00 remove hack privatebrowsingUI
// @version 2010/09/25 23:00 Bug 598221 - Page Title not shown in Title Bar on Session Restore
// @version 2009/07/25 18:00 Bug 506437 - The titlebar of a tear off window is not updated correctly after having detached a tab
// @version 2008/03/06 15:00
// @Note Ich kenne nichts anderes als die offizielle Win32-Version und die, die den Pfad mit der Startoption -profile ändert
(function(){
// Aktuellen Profilnamen abrufen
// Unterstützung auch bei Namensänderung
// Ich wünschte, ich könnte einen intelligenteren Weg verwenden (nsIToolkitProfileService)...orz, aber das funktioniert
// Ich kenne nichts anderes als die offizielle Win32-Version und der Pfad wird durch die Startoption -profile geändert
function getCurrentProfileName(){
function readFile(aFile){
let stream = Cc["@mozilla.org/network/file-input-stream;1"].createInstance(Ci.nsIFileInputStream); stream.init(aFile, 0x01, 0, 0);
let cvstream = Cc["@mozilla.org/intl/converter-input-stream;1"].createInstance(Ci.nsIConverterInputStream);
cvstream.init(stream, "UTF-8", 1024, Ci.nsIConverterInputStream.DEFAULT_REPLACEMENT_CHARACTER);
let content = "", data = {};
while (cvstream.readString(4096, data)) {
content += data.value;
}
cvstream.close();
return content.replace(/\r\n?/g, "\n");
}
let PrefD = Services.dirsvc.get("PrefD", Ci.nsIFile);
let ini = Services.dirsvc.get("AppRegD", Ci.nsIFile);
ini.append("profiles.ini");
ini = readFile(ini);
let profiles = ini.match(/Name=.+/g);
let profilesD = ini.match(/Path=.+/g);
for ( let i = 0; i < profiles.length;i++) {
if ((profilesD[i]+"$").indexOf(PrefD.leafName+"$") >= 0) {
profiles[i].match(/Name=(.+)$/);
return RegExp.$1;
}
}
return null;
}
window.setCurrentProfileNameToTitlebar = function(){
let profile = getCurrentProfileName();
if (!profile) return;
// Set the title modifer to include the build ID.
let appBuildID = Services.appinfo.appBuildID;
let version = Services.appinfo.version;
let mainWindow = document.getElementById("main-window");
let { AppConstants } = ChromeUtils.importESModule(
"resource://gre/modules/AppConstants.sys.mjs"
);
let versionAttributes = {
version: AppConstants.MOZ_APP_VERSION_DISPLAY,
bits: Services.appinfo.is64Bit ? 64 : 32,
};
["data-title-default", "data-title-private", "data-content-title-default", "data-content-title-private"].forEach(callback);
function callback(attrname){
let originalName = mainWindow.getAttribute(attrname);
let titlemodifier = originalName + " " + versionAttributes.version + "-[" + profile+ "] ";// + " - " + appBuildID;
// Set the new title modifier
mainWindow.setAttribute(attrname, titlemodifier);
}
}
setTimeout(function(){
setCurrentProfileNameToTitlebar();
//xxx Bug 598221
gBrowser.updateTitlebar()
}, 500);
})();Vielen Dank
Mfg
