androidoのフォントはちゃんとした固定ピッチフォントがないようなので、
テキストエディタのためにWindowsXP環境から持ってきたMSゴシックフォントを使ってるんだが(一応フォントには互換性があるようなので)、
「[全]ハイフン」と書かれたハイフン記号が半角サイズになってしまうのはなぜだ？ 固定ピッチで全角なのに。
IMEはGboardだが、標準のGoogle日本語入力に戻しても変わらないし、IMEのバグ(全角ハイフンは入力できず、半角が入力されてしまう)ではないのか。
内部的(文字コード)には全角なのに、フォント描画処理の問題で半角サイズになってしまってるのか。

「ダッシュ」という記号だと線の長さが全角分横幅一杯でハイフンとしては変だし(罫線みたい)、
[全][半]表示のない「ハイフン」が全角ハイフンとして一番ましなんだが、これもなんか線が(半角のハイフンより)短くてバランスが悪い。
このMSゴシックも全体的に、フォントサイズによって全角が半角の丁度２倍幅にならないことがあるし(当然Windows環境では問題ない)、
なんでandroidは文字の全角/半角、プロポーショナル/固定ピッチの扱いがきっちりしてないんだ？