Project: JDT
Bug 12861 Replace from local history does not always preserve line delimiters.
Reported: 2002-04-05 07:38:33 | Status: resolved fixed

If a history file contains the two line delimiters '\r\n\r' the second '\r' is not preserved.

Files changed in fix:
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaAddElementFromHistory.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaCompareUtilities.java org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaReplaceWithEditionAction.java