> Debian や Manjaro など他の GNOME 採用ディストリビューションでは ∶ は普通に半角幅ですし
これらのディストリビューションは「U+2236だけど使っているフォントの都合上半角で表示される」と理解したのですが、それで正しいでしょうか?
(他のディストリビューションまでは試せていません、すみません)
もしそうだとすると「たまたま起きていない」って解釈で良いと思います。
いずれにせよコードを修正するにしても、うまい変更案が思いつかないんですよね……
> Debian や Manjaro など他の GNOME 採用ディストリビューションでは ∶ は普通に半角幅ですし
これらのディストリビューション は「U+2236だけど使ってい るフォントの都合上半角で表示さ れる」と理解したのですが、 それで正しいでしょうか?
(他のディストリビューションま では試せていません、 すみません)
もしそうだとすると「 たまたま起きていない」 って解釈で良いと思います。
いずれにせよコードを修正するに しても、うまい変更案が思いつか ないんですよね… …