Ho provato a modificare lo script, senza particolare successo...
E' da fare qualche ulteriore prova modificando il parametro in about:config
browser.tabs.tabMinWidth;76
cioè digita
about:config nella barra degli indirizzi, conferma per aprire, nel campo di ricerca metti
width e ti dovrebbe aprire una fila di voci tra cui
browser.tabs.tabMinWidth che da me è impostata a
76 (pixel)
Prova a mettere il valore che vuoi (152 ad esempio, il doppio) e vedi l'effetto che fa, lasciando nell'userChrome il codice che ho postato
Ho provato ma solo per pochi minuti, funziona, ma è sabato e gli amici chiamano...