Summary: | Already formatted <pre> comments are indented again in subsequent formattings | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | baikuo21 |
Component: | Core | Assignee: | Olivier Thomann <Olivier_Thomann> |
Status: | VERIFIED DUPLICATE | QA Contact: | |
Severity: | normal | ||
Priority: | P3 | CC: | daniel_megert |
Version: | 3.1 | ||
Target Milestone: | 3.2.2 | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
baikuo21
2005-05-23 02:34:18 EDT
Olivier: remember to involve Dani if necessary. *** This bug has been marked as a duplicate of 52921 *** In 3.1RC3, this bus has not been fixed yet, it may not be a duplicate of 52921. /** * <pre> * a * b * </pre> */ is formatted to /** * <pre> * a * b * </pre> */ See the additional comment #12 of bug 52921 *** This bug has been marked as a duplicate of 99738 *** Verified for 3.2.2 using build M20070112-1200. Verified for 3.3 M5 using build I20070205-0009 |