Police de Mozilla - Logiciels - Linux et OS Alternatifs
Marsh Posté le 06-02-2004 à 17:38:49
GTK1 ou 2 ?
Marsh Posté le 06-02-2004 à 17:55:32
utiliser commande switch ou switch2 selon le cas (gtk1 ou gtk2)
Marsh Posté le 07-02-2004 à 09:55:54
ben il a répondu, les 2 utilitaires pour changers les polices (et les thèmes d'ailleurs) s'appellent switch quand c'est du GTK 1 et switch2 quand c'est du GTK2 ; GTK étant la bibliothèque graphique.
sous MDK 9.2, c'est GTK2 ; l'installeur du site mozilla.org, c'est GTK1
Marsh Posté le 07-02-2004 à 09:58:44
oue ou tu rajoutes ds ton fichier .gtkrc-2.0 (dossier perso)
gtk-font-name = "Arial 8"
Marsh Posté le 08-02-2004 à 09:10:04
Ok merci, mais je la colle où cette commande ?
En console > command not found
Sinon j'ai fait comme a dit Ekxon dans le fichier gtkrc-2.0 :
# -- THEME AUTO-WRITTEN DO NOT EDIT
include "/usr/share/themes/Galaxy/gtk-2.0/gtkrc"
gtk-font-name = "Arial 8"
# -- THEME AUTO-WRITTEN DO NOT EDIT
Ca change Z ^^
De plus, mozilla ne garde jamais les parametres de police des pages web que je définis dans Edition Préférences, alors je me retrouve avec des polices dégueulasses...
Je mets une bonne police lisible, mais les boutons comme "Recherche Google" ont tjs une police naze, comment puis je la modifier ?
Une derniere question, il arrive aussi que mozilla redl les images d'un site après l'avoir fermé, pourtant le cache est activé, ca aussi ca soule ^^
Merci de votre aide ^^
Marsh Posté le 08-02-2004 à 11:47:16
quand on a pas une commande on recherche le package correspondant habituellement non ? ....
Marsh Posté le 08-02-2004 à 17:44:05
Y'a pas le thème Modern de Mozilla sur la version de switch2 que je viens d'installer. Alors je fais comment ?
Marsh Posté le 08-02-2004 à 17:47:12
le theme moderne c'est un theme mozilla, pas un theme gtk
le theme que tu passes par switch c'est pour gtk
tu vois bien que tes autres appli gtk n'ont pas toute la tronche de ton mozilla
Marsh Posté le 08-02-2004 à 20:15:41
le plus simple serait pas d'essayer un thème par mozdev ? Genre early blue ?
Marsh Posté le 06-02-2004 à 16:58:32
Salut,
Comment faire pour changer l'affreuse police de Mozilla ? Je ne parle pas de la police des pages web qui s'affichent, mais de celle de l'interface de Mozilla.