Dans quel fichier et sous quelle option peut-on définir la taille
d'affichage (police) d'une fenêtre mozilla ? L'idéal serait en ligne de
commande mais je ne trouve que pour les dimensions de la fenêtre.
Cette action est irreversible, confirmez la suppression du commentaire ?
Signaler le commentaire
Veuillez sélectionner un problème
Nudité
Violence
Harcèlement
Fraude
Vente illégale
Discours haineux
Terrorisme
Autre
Christophe PEREZ
Le Sun, 23 Nov 2003 17:28:16 -0400, Christophe PEREZ a écrit:
Dans quel fichier et sous quelle option peut-on définir la taille d'affichage (police) d'une fenêtre mozilla ? L'idéal serait en ligne de commande mais je ne trouve que pour les dimensions de la fenêtre.
C'est bon, j'ai trouvé. enfin, pas tout à fait ce que je voulais, mais ça, j'ai l'impression qu'il ne se sauvegarde pas (le 100%, 90% etc...) J'ai donc joué avec la police dans prefs.js, avec : user_pref("font.size.variable.x-western", 12);
Désolé pour le bruit.
-- Christophe PEREZ Écrivez moi sans _faute !
Le Sun, 23 Nov 2003 17:28:16 -0400, Christophe PEREZ a écrit:
Dans quel fichier et sous quelle option peut-on définir la taille
d'affichage (police) d'une fenêtre mozilla ? L'idéal serait en ligne de
commande mais je ne trouve que pour les dimensions de la fenêtre.
C'est bon, j'ai trouvé.
enfin, pas tout à fait ce que je voulais, mais ça, j'ai l'impression qu'il
ne se sauvegarde pas (le 100%, 90% etc...)
J'ai donc joué avec la police dans prefs.js, avec :
user_pref("font.size.variable.x-western", 12);
Le Sun, 23 Nov 2003 17:28:16 -0400, Christophe PEREZ a écrit:
Dans quel fichier et sous quelle option peut-on définir la taille d'affichage (police) d'une fenêtre mozilla ? L'idéal serait en ligne de commande mais je ne trouve que pour les dimensions de la fenêtre.
C'est bon, j'ai trouvé. enfin, pas tout à fait ce que je voulais, mais ça, j'ai l'impression qu'il ne se sauvegarde pas (le 100%, 90% etc...) J'ai donc joué avec la police dans prefs.js, avec : user_pref("font.size.variable.x-western", 12);
Désolé pour le bruit.
-- Christophe PEREZ Écrivez moi sans _faute !
ho alexandre
Christophe PEREZ a écrit :
J'ai donc joué avec la police dans prefs.js, avec : user_pref("font.size.variable.x-western", 12);
normalement cette ligne est à mettre dans un fichier user.js à créer à côté de prefs.js
De plus, cette manip est possible depuis l'interface graphique de Mozilla : Edit | Preferences | Appearance | Fonts
-- XandreX /I'm that kind of people your parents warned you about/
Christophe PEREZ a écrit :
J'ai donc joué avec la police dans prefs.js, avec :
user_pref("font.size.variable.x-western", 12);
normalement cette ligne est à mettre dans un fichier user.js à créer à
côté de prefs.js
De plus, cette manip est possible depuis l'interface graphique de
Mozilla : Edit | Preferences | Appearance | Fonts
--
XandreX
/I'm that kind of people your parents warned you about/
