Summary: | [Editor Mgmt] Editor tab icons take up needed space | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Kevin McGuire <Kevin_McGuire> |
Component: | UI | Assignee: | Platform-UI-Inbox <Platform-UI-Inbox> |
Status: | RESOLVED DUPLICATE | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | erich_gamma |
Version: | 2.0 | Keywords: | investigate, usability |
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Kevin McGuire
2002-05-12 13:29:39 EDT
The icon is important for error decorations, and JDT relies on this behaviour to minimize the use of the task list. It is particularly useful in the Java Browsing perspective. I suspect that having distinguishing icons is more important for other products with many types of editors, e.g. WSAD. However, the space lost to icons in the editor tabs is significant. Should reconsider for v3. Reopen for investigation |