Bug 75406 - [EditorMgmt] allow double click in navigator to close open file
Summary: [EditorMgmt] allow double click in navigator to close open file
Status: NEW
Alias: None
Product: Platform
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 3.0   Edit
Hardware: All All
: P3 enhancement with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: Platform UI Triaged CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2004-09-30 14:57 EDT by Dan Allen CLA
Modified: 2019-09-06 16:05 EDT (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Dan Allen CLA 2004-09-30 14:57:32 EDT 
JEdit has an option that allows you to close an open file by double clicking on
the filename in the navigator (or package explorer).  While obviously not a good
default, it is a nice power feature to have because often times it is convenient
to close files from the place where they are being opened.

It might also be a nice enhancement to somehow mark a file that is opened in the
navigator so that this power feature is more effectively used.  Perhaps an icon
with a little pencil on it can indicate it is opened for editing.
Comment 1 Susan McCourt CLA 2009-07-09 19:06:15 EDT 
As per http://wiki.eclipse.org/Platform_UI/Bug_Triage_Change_2009
Comment 2 Boris Bokowski CLA 2009-11-17 13:02:09 EST 
Remy is now responsible for watching the [EditorMgmt] component area.
Comment 3 Eclipse Webmaster CLA 2019-09-06 16:05:30 EDT 
This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.