[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
Re: [platform-ui-dev] Improved editor management
|
Did you look at Jared's editor view mentioned in bug 37589?
(https://bugs.eclipse.org/bugs/show_bug.cgi?id=37589)
Sounds like you did something similar.
Knut
"Robert Dingwell" <rob@xxxxxxxxxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
07/04/2003 10:33 AM
Please respond to platform-ui-dev
To: <platform-ui-dev@xxxxxxxxxxx>
cc:
Subject: [platform-ui-dev] Improved editor management
I was just reading through what will be available in the next Milestone
build and noticed that you were going to re-implement the editor drop down
list again for easier editor navigation. I used this feature frequently
when it was available in the 2.0 release but found that it still had
limitations of it's own when there were many open editors.
This being my first post here I know this is rather presumptuous of me
but would like to suggest that you implement the improved editor
navigation as a view instead of a drop down. I did this for myself already
by ripping a bunch of code out of the View Open Editors window and cannot
begin to tell you how indispensable it is to myself and my fellow
colleagues on a daily basis.
There are also many additional pros to implementing the navigation as a
view then as a drop down. Sorting, multiple editor select for saving and
closing editors. The ability to show open editors from all open windows.
Extension points for adding additional actions to selected editors in the
list such as updating/committing to cvs. I really honestly believe that
if you were to implement the navigation in the way that I suggest you will
have a much more powerful extension to the platform then just simply
switching between open editors that a drop down would give you.
Rob Dingwell
MITRE Corp.