Re: [platform-ui-dev] Editor Minimize Request hidden in old/forgotten bu

[Michael Van Meekeren <Michael_Van_Meekeren@xxxxxxxxxx>]

Comments added.  There is a key
binding for Hide Editors, this might do the trick.
/michael

Pat McCarthy <patmc@xxxxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx

06/11/2004 12:40 PM

Please respond to
platform-ui-dev

To	platform-ui-dev@xxxxxxxxxxx
cc
Subject	[platform-ui-dev] Editor Minimize Request hidden in old/forgotten bug report

I had an idea as I worked up my private UI use scenarios with the 3.0 look/feel/interaction.

Did what I thought I should; searched bugzilla to see if there was an existing
request.  Found an ancient one and added my .02 there.
But, as the bug id is old... it seems to have been ignored - no response/review
tickle seen. 

I think the idea has merit, or should at least be considered (I'm not wanting
to suffer a pocket veto). 

Anyone care to peek/comment on https://bugs.eclipse.org/bugs/show_bug.cgi?id=25303
at all? 

Pat McCarthy