Project: JDT
Bug 306970 Strings#insertMarks(..) drops directional punctuation characters at end of StyledString
Reported: 2010-03-24 13:36:53 | Status: resolved fixed

I20100323-0800 Strings#insertMarks(..) drops directional punctuation characters at end of StyledString. It stops copying at originalString.length().

Files changed in fix:
org.eclipse.jdt.ui/core extension/org/eclipse/jdt/internal/corext/util/Strings.java