Yes, definitely Eclipse local history.

At least 10 years using it. What's interesting though is that such a feature would be off the radar for other editors and even the OP article.