Re: Option 'xterm_set_titles' de Mutt
Le Tue, 25 Oct 2011 22:51:24 +0200,
"JF Straeten" <jfstraeten@scarlet.be> a écrit :
>
> 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+
>
Bonjour,
l'option du terminal c'est d'avoir le plateau garni de
moules frite ...
autrement pour ton désidérata :
http://invisible-island.net/xterm/xterm.faq.html#frequent_problems
suivant le gestionnaire de fenêtres il est possible d'avoir
une version améliorée du terminal ....
slt
bernard
Reply to: