ISA

After some of the last updates a problem has been created. When putting the cursor just before any existing word and typing a letter or additional word, the subsequent word will be overwritten. Is that depending of some new feature that can be deactivated, or is it a really annoying bug? I have observed that this happens when working with Google keyboard (Gboard), and not, e.g., with Samsung keyboard. However the same problem is NOT happening when working with Gboard + OneNote or other text-editing tools. Thanks for your help Ignacio

Thanks Gary. But I don't have such option with the formatting options. My version is 5.8.5. Does that mean that I have to wait for a future implementation? :-(

I have the same question for the android client, where can I find the undo function?