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 (CURRENT_LINE_COLOR.equals(p)) {
					if (fLinePainter != null) {
						stopLineHighlighting();
						startLineHighlighting();
					}					
					return;
				}
				
				if (PRINT_MARGIN.equals(p)) {
					if (isPrintMarginVisible())
						showPrintMargin();
					else
						hidePrintMargin();
					return;
				}
				
				if (PRINT_MARGIN_COLOR.equals(p)) {
					if (fPrintMarginPainter != null)
						fPrintMarginPainter.setMarginRulerColor(getColor(PRINT_MARGIN_COLOR));
					return;
				}
				
				if (PRINT_MARGIN_COLUMN.equals(p)) {
					if (fPrintMarginPainter != null)
						fPrintMarginPainter.setMarginRulerColumn(getPreferenceStore().getInt(PRINT_MARGIN_COLUMN));
					return;
				}