John,
I am using the version from 4 years ago.
On the off chance that something got screwed up on my machine, I am planning to uninstall the Arduino IDE, wipe everything associated with it from my computer, then re-install. Wonder if that might help?