From: Arnout E. <no...@bz...> - 2016-09-24 10:02:15
|
Hello Andy, I'm a happy Notion user on HiDPI :). What exactly are you looking for in HiDPI support? To simply get larger fonts, I chose to use XFT instead of 'raw' X11 fonts. When you use the 'xft' branch of notion, you can set a font to something like "xft:Source Code Sans:size=16" in your 'look.lua'. When mixing HiDPI and 'regular' screens, it'd be nice if notion could 'intelligently' choose a font size based on whether the window is on a HiDPI or 'regular' screen. This is currently not implemented, but seems possible and I'd love to see it happen :). You could get some inspiration on how to do this from a script I use to achieve this for terminals (using xrandr and wmctrl): https://gist.github.com/raboof/11dab45e9f6300d7459e0d6cad435dd5 I'm reluctant to merge the XFT branch into master, as many Notion users appear to prefer bitmapped fonts, and while XFT supports bitmapped fonts just fine, on many systems it is configured not to load those. I'd like to move forward, but I'd prefer not to interfere with existing Notion users, either. I guess our options are: * Support only XFT, and document how XFT can be configured to load bitmapped fonts * Support both XFT and 'raw' X11 fonts, chosen at compile time * Support both XFT and 'raw' X11 fonts, chosen at run time The last 2 options will unfortunately clutter the Notion codebase (or require some refactorings), but I'm not sure I'm comfortable with '1'. What do you all think? Kind regards, Arnout On Sat, Sep 24, 2016 at 7:07 AM, Hochhaus, Andy <aho...@sa...> wrote: > Has any work been put into making notion support HiDPI displays? If so, > can anyone point me towards the documentation? > > -Andy > > > ------------------------------------------------------------ > ------------------ > > _______________________________________________ > Notion-general mailing list > Not...@li... > https://lists.sourceforge.net/lists/listinfo/notion-general > > |