[platform-ui-dev] Editor Minimize Request hidden in old/forgotten bug re

[Pat McCarthy <patmc@xxxxxxxxxx>]

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