Undo discarding the redo-buffer [rant]

IntelliJ has worked some miracles for me in the past, so maybe this one too.

A few hours ago I deleted a bunch of code, and continued working on other files. Then I decided I needed a phrase from the deleted part. I pressed undo a bunch until the text appeared, and then selected the important text and pressed Ctrl+C. Except my Ctrl key failed and it typed 'c'. Now my first reflex was to undo that quickly and continue where I left off. I copied the text (this time successfully) and proceeded on to redo everything I undid before. Except... not. This is when it dawned on me that I had that reflex at all, and my redo buffer was flushed.

The solution: File history. Luckily it somehow saved a snapshot 2 minutes ago and I was able to retrieve the original.