[gull] Espacement des lignes dans gnome-terminal

[Claude Fuhrer]

Bonjour

Il y a très longtemps sous KDE 3.5, le programme "konsole" avait un
paramètre de configuration permettant de régler l'espacement entre les
lignes d'affichage. Je n'ai retrouvé aucun paramètre similaire dans
gnome-terminal (Ubuntu 10.04) ou Konsole (pour KDE 4.??). Quelqu'un
sait-il s'il est possible d'augmenter un peu l'interligne d'un
gnome-terminal ? et si oui, comment ? Ou alors connaissez-vous un
programme de remplacement aussi agréable et puissant que gnome-terminal
? (ou que Konsole, bien que je travaille plutôt avec Gnome).

D'avance merci de votre aide !


claude