On Wed, Feb 17, 2021 at 07:14:36PM +0000, sirjofri wrote: > > 17.02.2021 20:06:00 bomb...@gmx.net: > > And is there a version for high dpi displays? > > On 9front (and maybe on 9legacy?) It's the font you specify with font=, > which is vga by default.
You can use bdf2subf [1] with my hidpi vga font [2] to get this. Maybe someone already has? If so, I'd be happy to add it to the VGA pile. 1 - http://plan9.stanleylieber.com/src/bdf2subf.tgz 2 - http://sciops.net/downloads/vga/u_vga32.bdf khm ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M634cdf3d682636d19a1e1f2c Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
