On Wed, Feb 17, 2021 at 07:14:36PM +0000, sirjofri wrote:
>
> 17.02.2021 20:06:00 bombart@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