private Font getFont(boolean hidden, boolean active) { ITheme theme = PlatformUI.getWorkbench().getThemeManager().getCurrentTheme(); if (active) { return theme.getFontRegistry().getItalic(IWorkbenchThemeConstants.TAB_TEXT_FONT); } if (hidden) { return theme.getFontRegistry().getBold(IWorkbenchThemeConstants.TAB_TEXT_FONT); } return theme.getFontRegistry().get(IWorkbenchThemeConstants.TAB_TEXT_FONT); }
/** * 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 the JFace's dialog font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.DIALOG_FONT) * </pre> * * @return the font */ public static Font getDialogFont() { return getFontRegistry().get(DIALOG_FONT); }
/** * Returns the JFace's header font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT) * </pre> * * @return the font */ public static Font getHeaderFont() { return getFontRegistry().get(HEADER_FONT); }
/** * Returns the JFace's header font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT) * </pre> * * @return the font */ public static Font getHeaderFont() { return getFontRegistry().get(HEADER_FONT); }
/** * Returns JFace's text font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT) * </pre> * * @return the font */ public static Font getTextFont() { return getFontRegistry().get(TEXT_FONT); }
/** * Returns the JFace's dialog font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.DIALOG_FONT) * </pre> * * @return the font */ public static Font getDialogFont() { return getFontRegistry().get(DIALOG_FONT); }
/** * Returns the JFace's header font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.HEADER_FONT) * </pre> * * @return the font */ public static Font getHeaderFont() { return getFontRegistry().get(HEADER_FONT); }
/** * Returns JFace's text font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT) * </pre> * * @return the font */ public static Font getTextFont() { return getFontRegistry().get(TEXT_FONT); }
/** * 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 text font. Convenience method equivalent to * * <pre> * JFaceResources.getFontRegistry().get(JFaceResources.TEXT_FONT) * </pre> * * @return the font */ public static Font getTextFont() { return getFontRegistry().get(TEXT_FONT); }
/** * 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); }
/** * Get a font known to this plugin. * * @param id * one of our THEME_* font preference ids (see * {@link UIPreferences}); * @return the configured font, borrowed from the registry. */ public static Font getFont(final String id) { return getTheme().getFontRegistry().get(id); }
/** * Returns the default font to use for this dialog page. * * @return the font */ protected Font getFont() { return JFaceResources.getFontRegistry().get(getDialogFontName()); }
/** * Returns the default font to use for this dialog page. * * @return the font */ protected Font getFont() { return JFaceResources.getFontRegistry().get(getDialogFontName()); }
/** * Returns the default font to use for this dialog page. * * @return the font */ protected Font getFont() { return JFaceResources.getFontRegistry().get(getDialogFontName()); }
static void removeHighlight(MPart part, CTabItem cti, boolean cssEngineActive) { part.getTags().remove(CSSConstants.CSS_HIGHLIGHTED_CLASS); if (!cssEngineActive) { cti.setFont(JFaceResources.getFontRegistry().get(TAB_FONT_KEY)); } }
private void refreshDiffFonts() { FontRegistry reg = PlatformUI.getWorkbench().getThemeManager() .getCurrentTheme().getFontRegistry(); this.headlineFont = reg.get(THEME_DiffHeadlineFont); }
public static Font fontFromFontData(FontData[] fontDataArray) { if (fontDataArray != null && fontDataArray.length > 0) { String fontData = PreferenceConverter.getStoredRepresentation(fontDataArray); if (!JFaceResources.getFontRegistry().hasValueFor(fontData)) { FontData[] fData = PreferenceConverter.basicGetFontData(fontData); JFaceResources.getFontRegistry().put(fontData, fData); } Font font = JFaceResources.getFontRegistry().get(fontData); return font; } return null; }