Improved undo in Google Docs

Send a backspace key press event to delete the selected text before inserting the new word character by character. That way the old word doesn’t show up redundantly when undoing.