Topic: [userChromeJS] Come cambiare il testo del pulsante di Firefox 4

[miki64]

Gialloporpora, DerAngEd_HeRmiT ti ha risposto.
Ora tocca a te: come hai cambiato la scritta sul pulsante di Firefox con il tuo nick gialloporpora? UserChrome.css? Io non ho trovato nulla, ma la tua personalizzazione è utile  per individuare al volo il profilo utilizzato!   

[gialloporpora]

No, con l'userChrome.js, se vuoi ti  passo il codice, devi usare userChromejs però:
http://userchromejs.mozdev.org/
posso provare a vedere se si può fare in modo che appaia in automatico il nome del profilo, sempre se ti interessa perché a me non serve a nulla .
Se vuoi si può aprire un topic: "userChrome.js" con una raccolta di piccole personalizzazioni per cui non ha senso installarsi un'estensione.
Ciao

[miki64]

Magari passami il codice, vediamo che cosa riesco a combinare.... 
Non voglio aprire altri topic perché prima o poi c'è da fare un lavoraccio nel topic dell'userChrome dopo gli aggiornamenti di Iceberg.... 

[gialloporpora]

Ecco qua:

Codice: [Seleziona]

/* Change the text in the Firefox 4 button */
if (location == "chrome://browser/content/browser.xul") {
document.getElementById('appmenu-button').label = 'miki64';
}
Edit: se vuoi il nome del profilo, forse è meglio se chiedi a @klades se è possibile inserire tale feature in ProfileSwitcher, ha più senso, come vedi non credo sia complicato.

[miki64]

Caro gialloporpora, il pulsante personalizzato mi serve tanto su quei profili di test nei quali purtroppo i relativi temi (che mi permettevano di distinguerli ad occhio) per adesso non funzionano più.
Mi scuso per l'off topic e ringrazio gialloporpora di questo risultato:

[gialloporpora]

Se vuoi appaia il nome del profilo in automatico, il codice è questo:

Codice: [Seleziona]

if (location == "chrome://browser/content/browser.xul") {
function getProfileName(){
let  toolkitProfileService = Components.classes["@mozilla.org/toolkit/profile-service;1"]
                            .createInstance(Components.interfaces.nsIToolkitProfileService);
                            return toolkitProfileService.selectedProfile.name;
}
let nuovo_testo=getProfileName();
document.getElementById('appmenu-button').label = nuovo_testo;
}

però non ha tanto senso perché in ogni caso bisogna installare l'estensione (e il codice) in ogni profilo, quindi tanto vale personalizzare il codice di sopra per ogni profilo.
Ciao