Comment 11 for bug 1864297

Revision history for this message
id:sicklylife (sicklylife) wrote : Re: Ubuntu 20.04/18.04 のトップバーやロック画面の時計の区切り文字 ∶ の幅が太すぎるので、細くしてほしい

> これらのディストリビューションは「U+2236だけど使っているフォントの都合上半角で表示される」と理解したのですが、それで正しいでしょうか?

はい、そうです。

> Noto Sans CJK JP の U+2236 だけ幅が広くて、他のフォントのU+2236 は幅が狭いということなら、Noto Sans CJK JPのバグと言える気もします。

私が確認した範囲では広いのは Noto Sans CJK JP だけですね。

U+2236 の幅が広いフォント
・Noto Sans CJK JP

U+2236 の幅が狭いフォント
・Takao P ゴシック
・DejaVu Sans
・Cantarell
・Segoe UI (Windows のフォントですけど)

といった感じです。Debian は確か VL ゴシックがデフォルトの日本語フォントだったと思うのですが、VL ゴシックには U+2236 が含まれていないようなので DejaVu Sans の U+2236 がトップバーに表示されているのだと思われます。