Méthode 1 : Changer les polices
Par défaut, Ubuntu utilise des polices assez larges, ce qui donne l'impression de perdre de la place:
Mais on peut faire mieux:
Voici comment procéder:
Installez les polices Liberation
Ce sont des polices plus compactes et bien "hintées" (modifiées pour améliorer l'affichage à l'écran);
Tapez dans un terminal :
sudo apt-get install ttf-liberation
Configurez les polices
Allez dans le menu Système > Préférences > Apparence, puis dans l'onglet "Polices".
Pour chaque police, sélectionnez à la place Liberation comme suit, et choisissez "Meilleur contraste":
Cliquez ensuite sur le bouton "Détails" et entrez la valeur 80:
Et validez le tout.
Comparaison
Avant:
Après:
Méthode 2 : Configurer Gnome/GTK
La seconde méthode (qui peut s'ajouter à la première) consiste à modifier la configuration de Gnome.
Installez le paquet gnome-color-chooser:
sudo apt-get install gnome-color-chooser
Allez dans le menu
Système > Préférences > Gnome Color Chooser.
En bas de la fenêtre :
Profil > choisir «
compact » et cliquer sur «
appliquer ».
Comparaison:
Avant:
Après:
