Community
Participate
Working Groups
Build ID: M20080911-1700 When number of editors is limited then you can pin editors. After opening too many editors it starts to close last unpinned editors. It would be helpful if in the editor tab popup menu, next to Close, Close All, Close other, would be Close Unpinned, so it would be easier to clean your workspace.
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.