317
contributi
Migliorare l'aspetto dei font: differenze tra le versioni
Migliorare l'aspetto dei font (visualizza wikitesto)
Versione delle 01:03, 17 ott 2012
, 17 ott 2012→DPI
(Aggiunta box informativi e commenti nei file di config.) |
m (→DPI) |
||
| Riga 187: | Riga 187: | ||
Alcuni sostengono che il valore DPI da inserire nelle configurazioni deve essere arrotondato, senza parte decimale. Però il fatto che sia usato un valore ''double'' per memorizzare il DPI mi fa pensare che sia fatto apposta per usare anche la parte decimale. | Alcuni sostengono che il valore DPI da inserire nelle configurazioni deve essere arrotondato, senza parte decimale. Però il fatto che sia usato un valore ''double'' per memorizzare il DPI mi fa pensare che sia fatto apposta per usare anche la parte decimale. | ||
È consigliata la lettura di [https://lists.ubuntu.com/archives/ubuntu-desktop/2008-December/001887.html questo vecchio messaggio] per capire un po' meglio il ruolo dei DPI nel sistema operativo. | |||
=== KDE === | === KDE === | ||
| Riga 194: | Riga 196: | ||
e aggiungere il valore DPI desiderato: | e aggiungere il valore DPI desiderato: | ||
<pre>ServerArgsLocal=-nolisten tcp -dpi 96</pre> | <pre>ServerArgsLocal=-nolisten tcp -dpi 96</pre> | ||
== Appendice == | == Appendice == | ||