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
- [9fans] Whats the default font in Acme? bombart
- Re: [9fans] Whats the default font in Acme? sirjofri
- Re: [9fans] Whats the default font in Acme? Kurt H Maier
- Re: [9fans] Whats the default font in Acme? Kurt H Maier
- Re: [9fans] Whats the default font in Acme? Skip Tavakkolian
- Re: [9fans] Whats the default font in Ac... Conor Williams
- Re: [9fans] Whats the default font in Acme? Ethan Gardener
- Re: [9fans] Whats the default font in Acme? bombart
- Re: [9fans] Whats the default font in Ac... Skip Tavakkolian
- Re: [9fans] Whats the default font ... Ethan Gardener
- Re: [9fans] Whats the default font ... Mark van Atten
- Re: [9fans] Whats the default f... Conor Williams
- Re: [9fans] Whats the defau... Conor Williams
- Re: [9fans] Whats the default f... Bakul Shah
- Re: [9fans] Whats the defau... Mark van Atten
- Re: [9fans] Whats the defau... Russ Cox
- Re: [9fans] Whats the defau... Mark van Atten
- Re: [9fans] Whats the default f... Ethan Gardener