/** * @return a font for titles in the tooltips */ Font getTitleFont() { return JFaceResources.getFontRegistry().getBold(NameAndDescriptionToolTip.class.getName()); }
/** * Returns the JFace's banner font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.BANNER_FONT) * </pre> * * @return the font */ public static Font getBannerFont() { return getFontRegistry().get(BANNER_FONT); }
/** * Returns JFace's standard font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.DEFAULT_FONT) * </pre> * * @return the font */ public static Font getDefaultFont() { return getFontRegistry().defaultFont(); }
protected void internalDispose() { fText= null; fBrowser= null; if (fFontListener != null) { JFaceResources.getFontRegistry().removeListener(fFontListener); fFontListener= null; } }
@Override public Font getFont(Object element) { if (isDefaultTask((TodoTask) element)) { return JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT); } return null; } }
@Override public void widgetDisposed(DisposeEvent e) { preferenceStore.removePropertyChangeListener(propertyChangeListener); JFaceResources.getFontRegistry().removeListener(fontChangeListener); } });
@Override public void widgetDisposed(DisposeEvent e) { preferenceStore.removePropertyChangeListener(propertyChangeListener); JFaceResources.getFontRegistry().removeListener(fontChangeListener); } });
@Override public void widgetDisposed(DisposeEvent e) { JFaceResources.getFontRegistry().removeListener(fontListener); fPreferenceStore.removePropertyChangeListener(propertyListener); } });
@Override public Font getFont(Object element, int columnIndex) { ParameterInfo info= (ParameterInfo) element; if (info.isAdded()) return JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT); else return null; } }
public Font getFont(Object element) { if (isDefaultTask((TodoTask) element)) { return JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT); } return null; } }
public Font getFont(Object element, int columnIndex) { ParameterInfo info= (ParameterInfo) element; if (info.isAdded()) return JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT); else return null; } }
@Override public Font getFont(Object element) { if (fFilteredTree.isFiltered() && fPatternFilter.getMatchingLeafs().contains(element)) { return JFaceResources.getFontRegistry().getBold(JFaceResources.DIALOG_FONT); } return null; } }
static void addHighlight(MPart part, CTabItem cti, boolean cssEngineActive) { part.getTags().add(CSSConstants.CSS_HIGHLIGHTED_CLASS); if (!cssEngineActive) { cti.setFont(JFaceResources.getFontRegistry().getBold(TAB_FONT_KEY)); } }
/** * Uninstalls backwards compatibility for the preference store. */ private void uninstallPreferenceStoreBackwardsCompatibility() { JFaceResources.getFontRegistry().removeListener(fFontPropertyChangeListener); getPreferenceStore().removePropertyChangeListener(fPropertyChangeListener); }
protected static String getStyleSheet() { if (fgStyleSheet == null) fgStyleSheet= loadStyleSheet(); String css= fgStyleSheet; if (css != null) { FontData fontData= JFaceResources.getFontRegistry().getFontData(PreferenceConstants.APPEARANCE_JAVADOC_FONT)[0]; css= HTMLPrinter.convertTopLevelFont(css, fontData); } return css; }
public void propertyChange(PropertyChangeEvent event) { if (PreferenceConstants.EDITOR_TEXT_FONT.equals(event.getProperty())) PreferenceConverter.putValue(getPreferenceStore(), JFaceResources.TEXT_FONT, JFaceResources.getFontRegistry().getFontData(PreferenceConstants.EDITOR_TEXT_FONT)); } };
public JavaSourcePreviewerUpdater() { JFaceResources.getFontRegistry().addListener(fontListener); fPreferenceStore.addPropertyChangeListener(propertyListener); fSourceViewer.getTextWidget().addDisposeListener(new DisposeListener() { public void widgetDisposed(DisposeEvent e) { JFaceResources.getFontRegistry().removeListener(fontListener); fPreferenceStore.removePropertyChangeListener(propertyListener); } }); } }
public void run() { JFaceResources.getFontRegistry().addListener(MavenConsoleImpl.this); initializeConsoleStreams(Display.getDefault()); dumpConsole(); } });
private void addListeners() { DebugUIPlugin.getDefault().getPreferenceStore().addPropertyChangeListener(this); addRenderingToSyncService(); JFaceResources.getFontRegistry().addListener(this); }
protected void internalCreatePartControl(Composite parent) { IPreferenceStore store= JavaPlugin.getDefault().getCombinedPreferenceStore(); fViewer= new JavaSourceViewer(parent, null, null, false, SWT.V_SCROLL | SWT.H_SCROLL, store); fViewerConfiguration= new SimpleJavaSourceViewerConfiguration(JavaPlugin.getDefault().getJavaTextTools().getColorManager(), store, null, IJavaPartitions.JAVA_PARTITIONING, false); fViewer.configure(fViewerConfiguration); fViewer.setEditable(false); setViewerFont(); JFaceResources.getFontRegistry().addListener(fFontPropertyChangeListener); store.addPropertyChangeListener(fPropertyChangeListener); getViewSite().setSelectionProvider(fViewer); }