Pagina 1 di 1
Firefox 2.0 it
Inviato: mer 25 ott 2006, 12:12
da scartozzo
Vorrei rimpicciolire i caratteri presenti nelle barre del browser ma non trovo alcuna
opzione per fare ciò!
Qualcuno ne sa di più?
Inviato: mer 25 ott 2006, 12:19
da mach
Anche io ho lo stesso problema: purtroppo non esiste una opzione che faccia quello che vuoi tu, dato che è il WM che comanda...
Inviato: mer 25 ott 2006, 12:41
da linus.bash
ma come c'è "caratteri e colori"...stasera vedo perchè dovevo farlo anche io...poi comunque c'è sempre about:config, basta trovare la stringa adatta...
Inviato: mer 25 ott 2006, 17:59
da natostanco
Salve a tutti, questo è il mio primo post!
Purtroppo in Firefox 2.0 non è più presente il menù per impostare il dpi dei caratteri dei menu, come nella 1.5 (spero lo rimettano nelle prossime release)
Per correggere basta andare in about:config e sostituire il valore della stringa layout.css.dpi con quello ottenuto, ad esempio, digitando $xdpyinfo|grep resolution da linea di comando (o con un altro a scelta).
Complimenti a chi fa vivere e collabora a questa favolosa community!
Inviato: mer 25 ott 2006, 19:34
da mach
Funziona! (certo che mettere una stringa leggermente più parlante...)
Ti voglio bene
[EDIT]
Il valore di default è -1; ho trovato che semplicemente impostandolo a 0 (senza dover determinare il dpi in uso) visualizza il font correttamente.
Inviato: mer 25 ott 2006, 23:13
da waka_jawaka
Grazie tantissime anche da parte mia; ora ho dei caratteri che non 'cecano più
Inviato: gio 26 ott 2006, 2:30
da phobos3576
In tutte le versioni di Firefox, il tipo e la dimensione del font dell'interfaccia grafica possono essere modificati inserendo opportune istruzioni nel file:
$HOME/.mozilla/firefox/xyz1234.default/chrome/userChrome.css (ovviamente, al posto di
xyz1234.default dovete mettere la vostra directory di default).
Ad esempio, se volete usare il font Arial con dimensione 12pixel, le linee da aggiungere sono le seguenti:
Codice: Seleziona tutto
/* modifica le caratteristiche del font di sistema */
* {
font-family: arial !important
}
* {
font-size: 12px !important
}