Package org.eclipse.ease.ui.launching
Class FileExtensionFilter
java.lang.Object
org.eclipse.jface.viewers.ViewerFilter
org.eclipse.ease.ui.launching.FileExtensionFilter
public class FileExtensionFilter
extends org.eclipse.jface.viewers.ViewerFilter
-
Constructor Summary
Constructors Constructor Description FileExtensionFilter(String[] extensions)
-
Method Summary
Methods inherited from class org.eclipse.jface.viewers.ViewerFilter
filter, filter, isFilterProperty
-
Constructor Details
-
FileExtensionFilter
-
-
Method Details
-
select
- Specified by:
select
in classorg.eclipse.jface.viewers.ViewerFilter
-