Re: [Evolution] Evo 1.4.3: fonts for menus, folders etc.

[Cc'ing Evolution mailing list again.]

So long I guess I have to live with the ugly-big-fonts in Evo...
Well, maybe you should check for the DPI value used in KDE and Gnome. If
they differ, fonts set with the same size (in pt, not px!) *will* be
displayed in different sizes.

Where to find these settings? Of course I will check it! What file(s) to
consult for KDE, and what for Gnome? Or what GUI to look up / change
them with?

For Gnome, you can adjust the DPI value with the same app you set the
default fonts. Click the "Details" button to change the Resolution.

$ gnome-font-properties

Dunno where to set this in KDE -- I do not use KDE... ;)

Set both DPI values to the same value, then adjust the default Gnome
fonts and KDE fonts. They will match and you will be able to reduce the
current big font size.
Hope, that will solve your problems...

It certainly will - sounds like a perfect match. AFAIK my default
resolution is 75 dpi, and I saw a "96" somewhere in some Gnome config
files. Wouldn't that mean that the same font looks larger in Gnome if it
uses 96 dpi instead of 75?

Uhm, yep, likely... ;)

FWIW: I know mismatching DPI values where at least once the culprit for
too large Gnome fonts on a KDE desktop.


char *t="\10pse\0r\0dtu\0  ghno\x4e\xc8\x79\xf4\xab\x51\x8a\x10\xf4\xf4\xc4";
main(){ char h,m=h=*t++,*x=t+2*h,c,i,l=*x,s=0; for (i=0;i<l;i++){ i%8? c<<=1:
(c=*++x); c&128 && (s+=h); if (!(h>>=1)||!t[s+h]){ putchar(t[s]);h=m;s=0; }}}

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]