(old)Puppy Linux Discussion Forum

Bonsoir,
je voudrais savoir comment on peut faire pour changer la taille de la police des barres de menu et des fenêtres de menu de Firefox 3.0. Je l'utilise avec Puppy 4.1 sur clé usb et ces polices sont minuscules, je n'avais pas ce problème avec Puppy 3-01.
Attention, je ne parle pas de la police d'affichage des pages web pouvant être définie dans menu/outils/options/contenu/avancé
Merci de vos réponses. (résolution = 1024x768)

Good evening,
I would like to know how we can do to change the font size of menu bars and windows menu of Firefox 3.0. I use it with Puppy 4.1 on usb key and these fonts are tiny, I did not have this problem with Puppy 3-01.
: arrow: Look, I do not speak the police display web pages can be defined in menu / Tools / Options / Content / Advanced:!:
Thank you for your responses. (resolution = 1024x768)

il s'agit alors de la police "gtk", la même que les menus des autres logiciels (comme Geany)

Si le fichier /root/.gtkrc.mine n'existe pas, le créer et ajouter cette ligne : si le fichier existe déjà, ajouter la ligne à la fin du fichier.

Taille et police à modifier si besoin.

Tu peux aller en root et voir en ./Mozilla/Firefox/xxxxxx.default/chrome/ et editer le fichier userChrome.css.
Vers la ligne 25 changer le font-size.

Bonsoir,
merci à tous et bonne année ,
Je suis un peu en retard pour la réponse, en effet j'ai edité le fichier "userChrome.css" et j'ai rajouté ceci :

menubar, menubutton, menulist, menu, menuitem {
font-size: 3.5mm !important;
font-family: helvetica !important;
}

le résultat est excellent !

bonsoir

pour moi même soucis taille des police des menus trop petite pour firefox3.6 et ok pour seamonkey j'ai fait

prendre fichier userChrome.css
dans ./Mozilla/seamonkey/xxxxxx.default/chrome/
et copier dans
dans ./Mozilla/Firefox/xxxxxx.default/chrome/

taille ok dans firefox si ça peut aider

bye

Très bonne idée, merci sub13

J'étais dans la même situation avec une ASRI edu full 2.1 sur laquelle j'ai installé Firefox 5 en suivant ce post d'ASRI.
Sauf que bizarrement je n'avais PAS de répertoire chrome dans
root/.mozilla/firefox/asri.default
d'où sûrement la taille des caractères dans les menus.

Heureusement, j'ai pu copier le chrome de seamonkey et la taille des polices dans les menus de FF est devenue normale.

Si ça peut donner des idées...