Filtered package explorer

[col-panic]

Hy Lars, found your filtered package explorer after opening https://bugs.eclipse.org/bugs/show_bug.cgi?id=479218 - do you think it would be fruitful to try and get this feature into core (adding a preference to de/enable it)?

I thought about introducing SHIFT+CMD+P to open projects, just like SHIFT+CMD+R or SHIFT+CMD+P but after looking into the eclipse structure this does not seem feasible (separation platform, jdt etc and the link of the resp. commands to an editor being called).

thanks!

[vogella]

JDT did not like my solution. @SimonScholz will soon be starting to work on bringing filtered trees to existing platform views, like Outline, Property etc. Once we have done this for platform, we plan also to extend this to JDT UI but this depends on the willingness of JDT UI to accept the patch

[col-panic]

Superb! :) thanks a lot!