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.

-- 
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-requ...@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmas...@lists.debian.org
Archive: http://lists.debian.org/20111025205124.ga3...@jones.jfs.dt

Répondre à