[gull] Espacement des lignes dans gnome-terminal

[Claude Paroz]

Le jeudi 14 avril 2011 à 15:02 +0200, Claude Fuhrer a écrit :
> 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 !

Sous GNOME-terminal, je pense ce n'est pas possible. Idem pour tout
autre terminal qui utilise le composant "vte".
http://git.gnome.org/browse/vte/
https://answers.launchpad.net/terminator/+question/117136

Claude