[9fans] Whats the default font in Acme?

And is there a version for high dpi displays? -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M4158b5d019a05f8100d16029 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] Whats the default font in Acme?

Sorry for not being precise. I use Acme from plan9port.  -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-M70e2b880f59a020df010d842 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription

Re: [9fans] Whats the default font in Acme?

I just ran “echo $font” from inside Acme and it says “/lib/font/bit/lucsans/euro.8.font” so I assume its the bitmap version of Lucida Sans.  -- 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Td0ab6c3112c95493-Maa359034293eba46a379862b Deli