[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Option 'xterm_set_titles' de Mutt



Salut Chère Liste,


Quelqu'un sait comment reseter la barre de titre d'un terminal à la
sortie de Mutt ?

L'option 'xterm_set_titles' est pratique pour avoir les infos dans la
barre de titre, mais je ne trouve rien pour qu'elle cesse ses effets
en quittant Mutt (1.5.21 si c'est important, sur une Wheezy à jour).

'rci d'avance,

A+

-- 

JFS.


Reply to: