From: Arnout E. <no...@bz...> - 2014-01-08 22:45:15
|
Hi, 1) I've added a final fallback which just picks *any* font when a font cannot be found even after applying kludges. Of course this is not ideal, as this font may not produce readable characters in your language, but it's better than nothing. Also, we now show an error window detailing which font could not be found, including a backtrace to where it was configured. 2) I just tried notion on fedora18 (vagrant is pretty cool), after installing the xorg-x11-fonts-ISO8859-1-75dpi package the default style worked for me. Kind regards, Arnout On Sat, Nov 9, 2013 at 6:38 PM, Jeff Backus <jef...@gm...> wrote: > 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 > > > > ------------------------------------------------------------------------------ > November Webinars for C, C++, Fortran Developers > Accelerate application performance with scalable programming models. > Explore > techniques for threading, error checking, porting, and tuning. Get the most > from the latest Intel processors and coprocessors. See abstracts and > register > http://pubads.g.doubleclick.net/gampad/clk?id=60136231&iu=/4140/ostg.clktrk > _______________________________________________ > Notion-devel mailing list > Not...@li... > https://lists.sourceforge.net/lists/listinfo/notion-devel > |