,

Cosa è e dove trovo il file user.js?

NB: Tutte le modifiche apportate a tale file devono essere fatte con Thunderbird chiuso 8)9)
[tratto da mozillaitalia.org]

Le stesse modifiche possono essere effettuate direttamente dall'editor di configurazione di Thunderbird.
La differenza tra usare il file user.js e l'editor di configurazione è che nel primo caso le personalizzazioni si trovano tutte dentro al file, quindi puoi vederle tutte con un click, inoltre se vuoi creare un nuovo profilo mantenendo le personalizzazioni collezionate nel corso del tempo basta copiare il file user.js nel nuovo profilo. Con l'editor di configurazione le modifiche sono più rapide, ma è più difficile recuperarle e non si possono spostare da un profilo ad un altro.

8)
In caso di problemi controllate con il task manager che non vi siano eventuali copie di Thunderbird in memoria
9)
Grazie all'estensione MR Tech's ToolKit) (ex MR Tech's Local Install è possibile modificare il file user.js direttamente da Thunderbird andando sul menù StrumentiModifica i file di configurazioneModifica user.js