Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [platform-ui-dev] [Editor Mgmt] Make EditorManager$Editor adaptable

Hi Jared,

        We are working on categorizing and prioritizing all PR in 
WorkbenchUI. Once the prioritization is finished we are going to work on 
them. I can't promise when I will be able to address this one since it is 
not a bug but a requirement for new functionality. I understand the code 
is simple but when released I would have to support it so I like to think 
about it a bit more.

        I the case of the view you have implemented to manage editors, I 
would like to expand the conversation a bit more. I will install your 
plugin, use it a bit and then if you have the time I would like to talk to 

you. 
        We have to understand all the problem we have in term of editor 
management, and the usability cases and come up with a unique solution 
that would make 99% of people happy. We considered the idea of a view to 
manage editors in the past but decided not to implement it and we ended up 

with the editors dialog. A drop down with a list of all editors was though 

as well.

        We do not want to have all these options implemented making the 
eclipse UI more complicated. We want to understand all the problem and 
find a nice solution for it. If we think that a view to manage editors is 
better than a dialog we should go with the view or the drop down or 
whatever and have it as part of the platform.

        Give me a couple of days to finish up the PRs and I will check 
your view then we talk again (or in the platform-ui-dev to make if 
public).

        Please if you have the time, could you list all feature you have 
in your view, explain me why do we need a view, why isn't the editors 
dialog enough? By having a view, could we remove the editors TABs?

Eduardo.





Jared Burns <jared-eclipse@xxxxxxxxx>
Sent by: platform-ui-dev-admin@xxxxxxxxxxx
09/06/2002 11:43 AM
Please respond to platform-ui-dev

 
        To:     eduardo_pereira@xxxxxxx
        cc:     platform-ui-dev@xxxxxxxxxxx
        Subject:        [platform-ui-dev] [Editor Mgmt] Make EditorManager$Editor adaptable


http://bugs.eclipse.org/bugs/show_bug.cgi?id=23032

I hate to pester, but this bug is preventing me from sharing the code that 

I've written for the editor list view for the past week. Is there any word 
on 
if/when it will be addressed?

Thanks,
- Jared
_______________________________________________
platform-ui-dev mailing list
platform-ui-dev@xxxxxxxxxxx
http://dev.eclipse.org/mailman/listinfo/platform-ui-dev





Back to the top