文字の全角入力中に、半角入力のほうが仕上がりがよかったり、半角入力を要求されていたりしても、つい全角で打ち込んでしまうことがあります。
律儀なお方は、[Back Space] で一字一字消したり、もっと丁寧な方法を好むお方は訂正範囲をドラッグで指定してから [Delete] をおもむろに押したり、いろいろな方法でいったん消去、再入力という面倒なことをいとわずやっておられます。
見ていて気づき、「ちょっと待って」と言ってから「F10 を押してみてください」と言うと、「おや」と感心されることもしばしばあります。
[F・] 群のファンクションキーは、使いこまなければ覚えません。
知っているだけでは役に立たず、どれが何をしてくれるのかもすぐ忘れます。
せいぜいお付き合いを深めるようにしていれば、無駄な時間を結構省いてもらえるものです。
どうぞ、お試しだけでなく、常用なさることをお勧めします。