From mboxrd@z Thu Jan 1 00:00:00 1970 MIME-Version: 1.0 In-Reply-To: <16ba7a6353b2e62877c43c01ba4d6b45@hera.eonet.ne.jp> References: <16ba7a6353b2e62877c43c01ba4d6b45@hera.eonet.ne.jp> From: Rob Pike Date: Sun, 29 Apr 2012 12:43:03 +1000 Message-ID: To: Fans of the OS Plan 9 from Bell Labs <9fans@9fans.net> Content-Type: text/plain; charset=UTF-8 Subject: Re: [9fans] =?utf-8?b?bHVjaWRhc2FucyBhbmQg5pel5pys6Kqe6KGo56S6?= Topicbox-Message-UUID: 81c724b2-ead7-11e9-9d60-3106f5b1d025 That font is called euro because it does not have the Asian ideographs and is cheaper to load. Use unicode.8.font if you want them; I have set font=unicode.9.font since the beginning. The real question is what the default font should be; I leave that decision to others. -rob