[gull] Espacement des lignes dans gnome-terminal

[Daniel Cordey]

On Thursday 14 April 2011 15:02:11 Claude Fuhrer wrote:

> 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).

Il semble, en effet, que sous KDE 4.* il ne soit possible de definir que la 
taille des 'fonts', dont l'interligne semble lie a cette taille et non-
modifiable... 

dc