| Summary: | Copying a folded coment only copies first line and not whole block | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Timothy Mowlem <tmowlem> |
| Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
| Status: | CLOSED WORKSFORME | QA Contact: | |
| Severity: | normal | ||
| Priority: | P3 | ||
| Version: | 3.1 | ||
| Target Milestone: | --- | ||
| Hardware: | All | ||
| OS: | All | ||
| Whiteboard: | |||
|
Description
Timothy Mowlem
Transferring this to the JDT-ui team as this is to do with the java editor. Note that selection must be complete i.e. contain the last newline: <start selection>folded line <end selection><caret> (In reply to comment #2) > Note that selection must be complete i.e. contain the last newline: > > <start selection>folded line > <end selection><caret> YesDaniel, confirmed. Will therefore close this as AS DESIGNED. |