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
public final static String OVERVIEW_RULER= "overviewRuler"; 
	
	
	
	
	protected ISelectionChangedListener fStatusLineClearer;
	
	protected ISavePolicy fSavePolicy;
	
	private JavaEditorErrorTickUpdater fJavaEditorErrorTickUpdater;
	
	private PaintManager fPaintManager;
	
	private BracketPainter fBracketPainter;
	
	private LinePainter fLinePainter;
	
	private PrintMarginPainter fPrintMarginPainter;
	
	private ProblemPainter fProblemPainter;
	
	private TabConverter fTabConverter;
	
	private SelectionHistory fSelectionHistory;
	
	private IPropertyChangeListener fPropertyChangeListener= new PropertyChangeListener();
	
	private IJavaElement fRememberedElement;