Pages : 1
#1 Le 14/08/2016, à 06:55
- Compte supprimé
[Résolu] Taille de la police de la barre du haut
Bonjour,
Sur un bureau gnome-shell, j'ai eu besoin d'agrandir la taille de la police de la barre du haut.
La toile n'est pas avare de solutions, mais elles sont souvent obsolètes.
Sur cette page, au post N° 10, j'ai trouvé où placer le fichier de modification du css pour qu'il soit pris en compte.
https://ubuntuforums.org/showthread.php … st13261580
Dernière modification par Compte supprimé (Le 14/08/2016, à 10:11)
#2 Le 14/08/2016, à 07:41
- moko138
Re : [Résolu] Taille de la police de la barre du haut
Veux-tu dire qu'un clic droit dans la barre
> Paramètres du tableau de bord
n'était pas efficace ?
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#3 Le 14/08/2016, à 07:50
- Compte supprimé
Re : [Résolu] Taille de la police de la barre du haut
Ah ! Le clic droit est possible sur la barre du haut de gnome-shell ?
#4 Le 14/08/2016, à 08:02
- moko138
Re : [Résolu] Taille de la police de la barre du haut
Ah ! Le clic droit est possible sur la barre du haut de gnome-shell ?
C'est une partie de la question que je te pose. (je n'ai pas testé cet environnement).
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#5 Le 14/08/2016, à 08:15
- Compte supprimé
Re : [Résolu] Taille de la police de la barre du haut
Pour moi, ce n'est pas prévu.
Gnome-shell a un aspect plus moderne mais c'est une usine à gaz dès que l'on veut personnaliser. De ce point de vue, xfce est le champion.
#6 Le 14/08/2016, à 12:52
- ft
Re : [Résolu] Taille de la police de la barre du haut
L'extension Taskbar (zpdyr) permet de faire ça.
Il n'y a pas de clic-droit sur la barre des tâches par défaut, sous Gnome 3.
Ubuntu 25.04
Hors ligne
#7 Le 14/08/2016, à 16:21
- Compte supprimé
Re : [Résolu] Taille de la police de la barre du haut
Merci pour cette information.
Effectivement, le texte de sa présentation ne laisse pas penser qu'elle a aussi cette fonction. Mais c'est au milieu de plein d'autres dont je n'ai pas besoin.
Par contre, si tu sais comment augmenter la taille du menu, en haut à droite, qui donne accès aux paramètres et à l'arrêt de la machine, je suis preneur..
Il suffit peut-être de trouver la bonne partie de css à personnaliser.
Dernière modification par Compte supprimé (Le 14/08/2016, à 16:25)
#8 Le 14/08/2016, à 19:10
- ft
Re : [Résolu] Taille de la police de la barre du haut
Tu peux modifier Polices > Facteur d'échelle dans Gnome Tweak Tool.
Si tu utilises un thème autre qu'Adwaita, tu peux modifier le fichier gnome-shell.css situé au bon endroit (recherche par Nautilus).
Ubuntu 25.04
Hors ligne
#9 Le 14/08/2016, à 20:19
- Compte supprimé
Re : [Résolu] Taille de la police de la barre du haut
Oui, en augmentant ce paramètre, on agrandi pas mal de choses, mais pas les icons du menu système utilisateur. Je l'avais testé avant d'en arriver à modifier le css en créant mon propre thème.
Mais là je suis en train d'essayer les rubriques du chapitre #panel. J'ai déjà l'icone de l'utilisateur pour fermer la session. Je cherche les autres.
Dernière modification par Compte supprimé (Le 14/08/2016, à 20:20)
Pages : 1