|
|||||||
|
|
|
 |
|
|
Strumenti |
15-05-2003, 00:34
|
#1 |
|
Senior Member
Iscritto dal: Jul 2001
Messaggi: 1650
|
personalizzare mozilla
come si cambiano i fonts dell'interfaccia grafica di mozilla? intendo i fonts della barra con i menu File, Modifica, ecc... tanto x intenderci.
|
|
|
|
15-05-2003, 01:30
|
#2 |
|
Senior Member
Iscritto dal: Jun 2000
Messaggi: 667
|
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 |
|
|
|
|
15-05-2003, 07:48
|
#3 | |
|
Senior Member
Iscritto dal: Jul 2001
Messaggi: 1650
|
Quote:
|
|
|
|
|
|
15-05-2003, 10:01
|
#4 |
|
Member
Iscritto dal: Apr 2003
Messaggi: 47
|
http://forum.hwupgrade.it/viewtopic.php?p=4984238&highlight=#4984238
in particolare da seguire ALLA LETTERA queste istruzioni http://corefonts.sourceforge.net/ cheers |
|
|
|
|
15-05-2003, 11:11
|
#5 |
|
Senior Member
Iscritto dal: Jul 1999
Città: Torino
Messaggi: 2221
|
Se ti interessa su Linuxpro stanno pubblicando mensilmente una guida alla personalizzazione di mozilla...
|
|
|
|
|
15-05-2003, 11:42
|
#6 |
|
Senior Member
Iscritto dal: Mar 2003
Messaggi: 545
|
Dipende dalla versione di mozilla.... cmq sia devi modificare (magari dalle prefeerences dei font di gnome2) i font default delle apps gtk2 ^_^
Buon hacking 
__________________
Linux Registered User Linux Registered Machine |
|
|
|
|
15-05-2003, 13:12
|
#7 | ||
|
Senior Member
Iscritto dal: Jul 2001
Messaggi: 1650
|
Quote:
 Quote:
|
||
|
|
|
|
|
| Strumenti | |
|
|
Tutti gli orari sono GMT +1. Ora sono le: 06:16.
