Echo 2.0.1: word correction cancellation works reliably

Bug-fix release. Undoing autocorrect with ⌥⇧Space worked only intermittently: sometimes it restored the word, sometimes it didn’t, and sometimes it erased extra characters. There turned out to be four causes.

Undoing immediately after autocorrect

Autocorrect doesn’t type the corrected word instantly, but over several milliseconds. If you press ⌥⇧Space at that moment, Echo hadn’t yet updated its memory of the word and corrected it again instead of restoring it. Now the keypress waits for the replacement to finish and restores the word as it should.

Backspace no longer resets the memory

Previously, Echo forgot the word as soon as you erased the space after it. Now you can erase the space, finish typing the word, and convert it with the hotkey: Echo understands that the caret is again positioned after that word.

⌥Space no longer breaks the next replacement

Echo monitors typing in order to know which word to correct. It mistook a press of ⌥Space, which switches the keyboard layout, for a typed space, even though there was none in the text. The next replacement erased one character too many. Now Echo doesn’t count its own hotkeys as typing.

Reassigned conversion hotkey

If you change ⌥⇧Space to a combination with ⌃ or ⌘, Echo forgot the word a moment before the hotkey fired and responded that there was nothing to correct. Now any combination works.

The update arrives automatically, or Echo-2.0.1.dmg — on the releases page.