フォロー

iPadOSで小数点の入力、半分問題解決
外付けキーボードだと数字の後に「。(キーボード上はピリオドだけど)」を入力すると自動的に「.」になる
数字以外の後には自動的に「。」に
つまりコンテクストを読んで自動的に「.」と「。」を切り替えていると言う事に
仕事柄小数を含む文章を良く書くのでこれはうれしい(以前は小数を入力するならタッチキーボードの方がやりやすかった)
iOS11の改悪のせいでタッチキーボード上でピリオドと数字キーが別なレイヤーに配置されてしまったので、これがすこぶる調子悪い
iOS9だか10で小数点を伴う変換もなぜか学習されなくなったし

外付けキーボードを使ってる時は賢く「。」と「.」を切り替えてくれるのに、タッチキーボードではなぜかできない
変換の候補にも半角の「1.0」が出て来ない
外付けキーボードを使えば良い(半分解決)んだけど、本体だけで済むなら済ませたい
なので強く要望出しておきました
スムーズに変換するか、ピリオドと数字を同じレイヤーに置いてほしい、と

· · Tootle for Mastodon · 0 · 0 · 6
ログインして会話に参加
グルドン

Mastodon は、オープンなウェブプロトコルを採用した、自由でオープンソースなソーシャルネットワークです。電子メールのような分散型の仕組みを採っています。