Ubuntu 18.04のトップバーの時計の ∶ の幅が太い

[id:sicklylife]

18.04から、Noto Sans CJK JPがデフォルトのフォントになった影響で、
トップバーの時計の ∶ の横幅が、17.10の時よりも広くなっています。

[Mitsuya Shibata (cosmos-door)]

この「∶」はコロン（U+003A）ではなく、RATIO（U+2236）です。

U+2236はUnicodeのUAX#11: East Asian WidthでAmbiguous特性となっており、
文脈（今回の場合だと主にフォントファミリー）によって期待される文字幅が変わり得ます。

https://www.unicode.org/Public/UCD/latest/ucd/EastAsianWidth.txt

U+2236を使っているのは単に「見た目」が理由っぽいです。
最初ISO 8601がそういう風に推奨しているのかと思ったのですが、
どうもそういう話ではなさそう。

https://bugzilla.gnome.org/show_bug.cgi?id=689184
https://bugzilla.gnome.org/show_bug.cgi?id=689251
https://github.com/GNOME/gnome-shell/commit/6f8540f25ae5df3ed59416ee8a8dedf097bdf280

翻訳対象ではあるため、日本語環境だけコロンにすることはできなくもないものの、
あえて変えなければならない強い理由がなければ、upstreamと同じでもいいかなと思っています。
よってチケットのステータスはwon't fixにしておきます。

再考する必要がある場合は、コメントの際にステータスもconfirmedに変更してください。

それはそうと「金曜日 00∶36」は「00∶36」か「2018/03/23 00∶36」、
「3/23 00∶36」のいずれかにしたいところ。「3/23 00∶36」かなぁ。

[id:sicklylife (sicklylife)]

個人的になんとなく気になっただけなので、再考は必要ないですね。
ご説明ありがとうございます。

[id:sicklylife (sicklylife)]

すみません、2年経っても違和感を拭えないので、改めて以下に投稿させていただきました。

Ubuntu 20.04/18.04 のトップバーやロック画面の時計の区切り文字 ∶ の幅が太すぎるので、細くしてほしい
https://bugs.launchpad.net/ubuntu-jp-improvement/+bug/1864297