User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.8.0.14eol) Gecko/20080201 Red Hat/1.0.9-0.9.el3 SeaMonkey/1.0.9
Does the org.eclipse.ui.ide.resourceFilters extension point still work? It's
still supported?
I add a variety of these filters in my plugin and none of them show up when I
look at the "Filters..." dialog for the Resource Navigator. It doesn't matter
which perspective I have open.
resourceFilters are still documented but looking in the Eclipse sources I see
that only the ".*" and "*.class" filters are still defined in any of the .xml
files and those filters don't show up anywhere either.
What is the replacement mechanism? How do I supply filters to the Resource
Navigator? I'm using Eclipse 3.3 at this point.