うむー、当座それでしのいでいます。全角入力したいときに
困るんだけど、文字パレットでどうにかすることにした。