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