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?