Comment 5 for bug 1864297

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

あぁ、"%H:%m"ではなく"%R"である以上、通常のU+003aは確定で、その後フォーマット文字列を変換したあとに、再度replaceしているんですね。

https://gitlab.gnome.org/GNOME/gnome-desktop/blob/master/libgnome-desktop/gnome-wall-clock.c#L253

うーん、やっかいですね……