Summary: | [formatter] Line inside <pre> tag is wrongly indented by one space when starting just after the star | ||||||
---|---|---|---|---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Frederic Fusier <frederic_fusier> | ||||
Component: | Core | Assignee: | Frederic Fusier <frederic_fusier> | ||||
Status: | VERIFIED FIXED | QA Contact: | |||||
Severity: | normal | ||||||
Priority: | P3 | CC: | jarthana, satyam.kandula | ||||
Version: | 3.6 | ||||||
Target Milestone: | 3.6 M7 | ||||||
Hardware: | All | ||||||
OS: | All | ||||||
See Also: |
https://bugs.eclipse.org/bugs/show_bug.cgi?id=287833 https://bugs.eclipse.org/bugs/show_bug.cgi?id=303957 |
||||||
Whiteboard: | |||||||
Attachments: |
|
Description
Frederic Fusier
2010-03-11 10:44:53 EST
Created attachment 162772 [details]
Proposed patch
Improve the way to remove/insert prefix stars in the javadoc comment snippet. When a non-spaces characters is discovered just after the prefix star, then shift the entire snippet one space to the right.
(In reply to comment #1) > Created an attachment (id=162772) [details] > Proposed patch > Released for 3.6M7 in HEAD stream. Verified for 3.6M7 using build I20100424-2000 |