Bug 20040 java editor: undo does not work correctly
20020612 .create new class .'override methods...' - add clone() .undo .redo .undo the plain text editor does not exhibit this mis-behavior you're left with garbage like (pressing undo/redo more times produces even more garbage): public class Dfg { r.clone(); //<<GARBAGE } //<<GARBAGE }
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/javaeditor/CompilationUnitEditor.java
if (PROBLEM_INDICATION.equals(p)) {
					if (isProblemIndicationEnabled())
						startProblemIndication();
					else
						stopProblemIndication();
					return;
				}
				
				if (PROBLEM_INDICATION_COLOR.equals(p)) {
					if (fProblemPainter != null)
						fProblemPainter.setHighlightColor(getColor(PROBLEM_INDICATION_COLOR));
					return;
				}
				
				if (OVERVIEW_RULER.equals(p))  {
					if (isOverviewRulerVisible())
						showOverviewRuler();
					else
						hideOverviewRuler();
					return;
				}
				
				IContentAssistant c= asv.getContentAssistant();
				if (c instanceof ContentAssistant)
					ContentAssistPreference.changeConfiguration((ContentAssistant) c, getPreferenceStore(), event);
			}
				
		} finally {
			super.handlePreferenceStoreChanged(event);
		}