#1 Le 24/05/2013, à 00:56
- Gedeon84
Cinnamon: agrandir taille et polices du menu [Résolu]
Bonsoir!
J'ai installé Cinnamon 1.8 qui a fait de gros progrès. C'est de venu un environnement à part entière, très plaisant. Mais je me heurte à un problème: le menu attaché à la barre des taches du bas m'apparait un peu insuffisant. Je m'explique: la taille des polices et des icones est insuffisante à mon goût et à ma vue!. J'aimerais donc agrandir ce panel mais nulle part je ne trouve cette possibilité. J'ai réussi pourtant à augmenter la taille des polices de la barre de taches, mais je sèche quant au menu, même en changeant de thème. Y aurait-il une solution?? Merci de votre aide.
Dernière modification par Gedeon84 (Le 29/05/2013, à 11:49)
Hors ligne
#2 Le 24/05/2013, à 06:39
- roger64
Re : Cinnamon: agrandir taille et polices du menu [Résolu]
Bonjour
Je ne vais te donner qu'une réponse indicative. Je ne connais pas de méthode générale pour faire ce que tu souhaites (c'est-à-dire une méthode qui soit valable pour tous les thèmes). Par contre, tu peux faire ce que tu veux en modifiant individuellement le thème que tu utilises.
A titre info, les thèmes que tu as ajoutés se trouvent dans le dossier caché (Ctrl H) de ton répertoire personnel appelé: .themes.
Ouvre le dossier du thème actif jusqu'à trouver le fichier: cinnamon.css.
Exemple de chemin complet : /home/user/.themes/Minty/cinnamon/cinnamon.css
Là, tu pourras modifier tout ce que tu souhaites pour le thème en question. Si tu ne connais pas un peu le css, fais une sauvegarde de ce fichier avant d'y mettre les doigts... 
Hors ligne
#3 Le 24/05/2013, à 23:41
- Gedeon84
Re : Cinnamon: agrandir taille et polices du menu [Résolu]
Merci roger64. En effet, c'est une solution pour paramétrer à son aise le panneau menu du thème choisi. Mais n'existe -t-il pas une manière + simple, + light d'agrandir ce panel? Parce que mettre les mains dans le cambouis, pour moi qui ne suis pas spécialiste du css, ça craint.. d'ailleurs je ne sais où se trouvent les dimensions à changer, tellement il y en a! Merci quand même! C'est dommage qu'il n'existe aucune façon graphique de changer la configuration...C'est même un défaut! (alors qu'elle est prévue pour la barre des tâches!)
Hors ligne
#4 Le 28/05/2013, à 06:39
- roger64
Re : Cinnamon: agrandir taille et polices du menu [Résolu]
C'est dommage qu'il n'existe aucune façon graphique de changer la configuration...C'est même un défaut! (alors qu'elle est prévue pour la barre des tâches!)
Bonjour
Tu demandes plus à Cinnamon qu'il ne peut donner.
Tu peux par contre arriver à obtenir ce que tu cherches en modifiant l'apparence des polices système. Sur LMDE/64 bits que j'utilise, je le fais de la façon suivante: Outils système/Configuration du système. J'aboutis à la fenêtre 1, puis je choisis Polices de caractère (fenêtre 2). Là aussi, avant de modifier quoi que ce soit, prend un calepin et relève les valeurs existantes car tu peux améliorer mais aussi aggraver... Le facteur d'échelle du texte est un outil puissant à cet égard... (voir bas de fenêtre 2).
Note enfin qu'il existe des réglages spécifiques pour les navigateurs.
Suivant ta distribution ou ton environnement de bureau, les noms peuvent être légèrement différents mais cette possibilité doit exister.
Dernière modification par roger64 (Le 29/05/2013, à 06:37)
Hors ligne
#5 Le 29/05/2013, à 11:45
- Gedeon84
Re : Cinnamon: agrandir taille et polices du menu [Résolu]
Bonjour!
Oui, cette solution me convient tout à fait. Je l'ai essayée: en augmentant l'échelle des polices, on obtient l'effet désiré. Merci de ta collaboration. Je passe" donc en résolu !!
Longue vie à Cinnamon et à la communauté ubuntu..
Hors ligne