1 11 package org.eclipse.ui.internal.dialogs; 12 13 import org.eclipse.jface.preference.PreferenceLabelProvider; 14 import org.eclipse.jface.viewers.IFontProvider; 15 import org.eclipse.swt.graphics.Font; 16 import org.eclipse.ui.dialogs.FilteredTree; 17 import org.eclipse.ui.dialogs.PatternFilter; 18 19 23 public class PreferenceBoldLabelProvider extends PreferenceLabelProvider 24 implements IFontProvider { 25 26 private FilteredTree filterTree; 27 private PatternFilter filterForBoldElements = new PreferencePatternFilter(); 28 29 PreferenceBoldLabelProvider(FilteredTree filterTree) { 30 this.filterTree = filterTree; 31 } 32 33 public Font getFont(Object element) { 34 return FilteredTree.getBoldFont(element, filterTree, 35 filterForBoldElements); 36 } 37 38 } 39 | Popular Tags |