Uses of Class
org.eclipse.e4.ui.dialogs.filteredtree.PatternFilter
-
Uses of PatternFilter in org.eclipse.e4.ui.dialogs.filteredtree
Modifier and TypeMethodDescriptionfinal PatternFilter
FilteredTree.getPatternFilter()
Returns the pattern filter used by this tree.Modifier and TypeMethodDescriptionstatic Font
FilteredTree.getBoldFont
(Object element, FilteredTree tree, PatternFilter filter) Return a bold font if the given element matches the given pattern.protected void
FilteredTree.init
(int treeStyle, PatternFilter filter) Create the filtered tree.ModifierConstructorDescriptionFilteredTree
(Composite parent, int treeStyle, PatternFilter filter) Create a new instance of the receiver.