Summary: | [EditorMgmt] Close unpinned editors feature needed | ||
---|---|---|---|
Product: | [Eclipse Project] Platform | Reporter: | Ivar Meikas <ivar> |
Component: | UI | Assignee: | Platform UI Triaged <platform-ui-triaged> |
Status: | NEW --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P3 | CC: | ahti, markus.kell.r |
Version: | 3.4.2 | ||
Target Milestone: | --- | ||
Hardware: | PC | ||
OS: | Linux | ||
Whiteboard: |
Description
Ivar Meikas
2009-05-07 06:14:13 EDT
Looking at the votes for this bug, would codehoop.com be interested in contributing a patch? http://wiki.eclipse.org/Platform_UI/How_to_Contribute Yes, we are already considering it but wanted first to hear if there are any objections for not having it :) Remy is now responsible for watching the [EditorMgmt] component area. I think bug 181419 would be a better solution. Doesn't need a new action and avoids accidental closing of pinned editors. |