[Notion-devel] Issues with 75dpi fonts

[Jeff B. <jef...@gm...>]

Hi folks,

Notion doesn't seem to want to load the 75dpi fonts and Fedora (at least 
Fedora 18) doesn't ship with a 100dpi Helvetica 12px font. It does have 
11px and 14px versions. I can select the 12px version as well as the 
75dpi 11px and 14px versions in xfontsel. I tried to have Notion select 
the 75dpi 14px font, which didn't work. So the issue is definitely 
related to the 75dpi fonts.

Most of the looks use Helvetica 12 for the tabs. Any objections to my 
changing 12px to 11px, at least for the Fedora package? Anybody know of 
a better workaround?

Regards,
Jeff

-- 
Jeff Backus
jef...@gm...
http://github.com/jsbackus