Beiträge von BrokenHeart

// VersionClockRightPos.uc.js: Anzeige der FireFox-Version und Datum/Uhrzeit in der 'Titlebar'


(function() {

    if (!window.gBrowser){
        return;
    }
    
    function doDatClock() {
        date = new Date();
        var timestr = date.toLocaleDateString( locale, { weekday: "long", year: "numeric", month: "long", day: "numeric"} ) + 
                      ' - ' + date.toLocaleTimeString( locale, { hour: '2-digit', minute: '2-digit', second: '2-digit' } ) + 
                      ' Uhr'; 
        
        if( count == 1 ) {
            var counter = new Date( 1000 * sec ).toISOString().substr( 11 , 8 ); // .replace(/^[0:]+/, '') // if you want to replace zeroes and colons
            timestr = timestr + ' (' + counter + ')';
            sec++;
        }
     
      ClockLabel.setAttribute( 'value', timestr );
    }
    
    var count = 0; // if you don't want a counter set this to zero
    var agent = 1; // if you just want the clock set this to zero
    var language = 'de-DE'; // locale, e.g. 'de-DE' , 'en-US' , 'fr-FR'
    var personalText = ','; // your personal text here
        
    var sec = 0;

    var locale = language || window.navigator.languages[0];

    var position = document.getElementsByClassName('titlebar-button titlebar-min')[0];
              
    var ClockLabel = document.createXULElement('label');
    
    ClockLabel.setAttribute('id', 'titlebar-clock-display');
    ClockLabel.setAttribute('class', 'titlebarpanel-text');
    position.parentNode.insertBefore(ClockLabel, position );
        

    if( agent == 1 ) {
        var AgentLabel = document.createXULElement('label');
        AgentLabel.setAttribute('id', 'titlebar-agent-display');
        AgentLabel.setAttribute('class', 'titlebarpanel-text');
        var FFstr = AppConstants.MOZ_MACBUNDLE_NAME.split('.');
        var mbName = FFstr[0];
        let currentProfileName = Cc["@mozilla.org/toolkit/profile-service;1"].getService(Ci.nsIToolkitProfileService).currentProfile.name;
        var text = '' + mbName + ' ' + AppConstants.MOZ_APP_VERSION_DISPLAY + " [" + currentProfileName + "] " + personalText;
        AgentLabel.setAttribute( 'value', text );
        position.parentNode.insertBefore(AgentLabel, position.previousSibling);
    }
    
    if( count == 1 ) {
        ClockLabel.addEventListener('dblclick', function() { sec = 0; });
    }
    
    window.setInterval( doDatClock , 1000 );
})();

// ==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

   if (!window.gBrowser){
        return;
   }

  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;
    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);
})();

// ==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

   if (!window.gBrowser){
        return;
   }

  let mainWindow = null;
    
  setTimeout(function() 
  {
      mainWindow = document.getElementById("main-window");        
  }, 1500);


  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;
    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);
})();