Comment by Octouroboros

Hello! As a matter of fact, I just changed the way mistypes are handled to be like this. There will be options for less obtrusive cursors coming soon as well, which I hope should fix the need for larger text.