Thunderbird: Stampante predefinita sbagliata!

Saltuariamente mi è capitato, dopo aver sostituito la stampante dal cliente, di trovare thunderbird che continua a proporre le sue stampe sulla vecchia stampante, anche dopo aver regolarmente impostato quella nuova come predefinita.
In pratica Thunderbird non "sente" la stampante predefinita. Rimane comunque possibile dal menu dello stesso, di volta in volta cambiare selezionare manualmente la stampante giusta.

SOLUZIONE:
Per risolvere aprire l'editor configurazione (Opzioni - avanzate - Generale)
Nella riga di comando inserire print_printer e aprire col doppio click la voce selezionata. Nella mascherina che si apre va inserito il nome della stampante giusta. Vai nelle proprietà della stampante e copia/incolla qui il nome.

Il thunderbird va chiuso e riaperto.