PDA

View Full Version : personalizzare mozilla

EFFERATUM
14-05-2003, 23:34
come si cambiano i fonts dell'interfaccia grafica di mozilla? intendo i fonts della barra con i menu File, Modifica, ecc... tanto x intenderci.
robydad
15-05-2003, 00:30
Se li vuoi cambiare perchè sono troppo piccoli (mi stavo cecando) io ho fatto così:

Edit -> Preferences -> Appearance -> Fonts

e ho messo:

Display resolution: 72 dpi
Minimum font size: 12
Courier al posto di Monospace, perchè flashava
Helvetica al posto di Serif
EFFERATUM
15-05-2003, 06:48
Originally posted by "robydad"

Se li vuoi cambiare perchè sono troppo piccoli (mi stavo cecando) io ho fatto così:

Edit -> Preferences -> Appearance -> Fonts

e ho messo:

Display resolution: 72 dpi
Minimum font size: 12
Courier al posto di Monospace, perchè flashava
Helvetica al posto di Serif

ma da lì non si impostano i fonts x la visualizzazione delle pag. web?
magga
15-05-2003, 09:01
http://forum.hwupgrade.it/viewtopic.php?p=4984238&highlight=#4984238

in particolare da seguire ALLA LETTERA queste istruzioni
http://corefonts.sourceforge.net/

cheers
cn73
15-05-2003, 10:11
Se ti interessa su Linuxpro stanno pubblicando mensilmente una guida alla personalizzazione di mozilla...
Gavrila
15-05-2003, 10:42
Dipende dalla versione di mozilla.... cmq sia devi modificare (magari dalle prefeerences dei font di gnome2) i font default delle apps gtk2 ^_^

Buon hacking :)
EFFERATUM
15-05-2003, 12:12
Originally posted by "Gavrila"

Dipende dalla versione di mozilla.... cmq sia devi modificare (magari dalle prefeerences dei font di gnome2) i font default delle apps gtk2 ^_^

Buon hacking :)

e come se fà? :D

Originally posted by "cn73"

Se ti interessa su Linuxpro stanno pubblicando mensilmente una guida alla personalizzazione di mozilla...

quello di questo mese non l'ho preso... :(