Ctrl+y issued after destructive Ctrl+z deletes text, causes auto save and Auto Compilation to generate exception #8476
Description
Using Arduino IDE 1.8.8
While editing a Large sketch, and after many changes and intermittent saves, when trying to use a Ctrl+z to correct a change the corrected text is all wrong and there are a number of deletions that occur that do not match the text before Ctrl+z was issued.
Next when trying to correct the change with a Ctrl+y, an automatic compile happens which generates the following "Exception in thread "AWT-EventQueue-0" java.lang.InternalError: Text range not in document: 1975-1973" crash:
Arduino IDE Crash - Feb 2019.txt