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 an

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.