| Summary: | JAVA Editor is flushed (empty) | ||
|---|---|---|---|
| Product: | [Eclipse Project] JDT | Reporter: | Jan Hoppe <jan.hoppe> |
| Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
| Status: | CLOSED DUPLICATE | QA Contact: | |
| Severity: | critical | ||
| Priority: | P3 | CC: | daniel_megert, satyam.kandula |
| Version: | 3.8 | ||
| Target Milestone: | --- | ||
| Hardware: | PC | ||
| OS: | Windows 7 | ||
| Whiteboard: | |||
|
Description
Jan Hoppe
*** This bug has been marked as a duplicate of bug 357918 *** Great, this helps me. But a plugin should NOT kill the complete Editor |