/** * Returns the font descriptor for the JFace default font. * * @return the font descriptor for the JFace default font * @since 3.3 */ public FontDescriptor defaultFontDescriptor() { return FontDescriptor.createFrom(defaultFontData()); } }
@Override protected FontData getFontData(TreePath elementPath, IPresentationContext presentationContext, String columnId) throws CoreException { return JFaceResources.getFontDescriptor(IDebugUIConstants.PREF_VARIABLE_TEXT_FONT).getFontData()[0]; }
/** * Returns an array of FontData containing copies of the FontData * from the original. * * @param original array to copy * @return a deep copy of the original array */ public static FontData[] copy(FontData[] original) { FontData[] result = new FontData[original.length]; for (int i = 0; i < original.length; i++) { FontData next = original[i]; result[i] = copy(next); } return result; }
private FontDescriptor createFontDescriptor(FontData[] initialFontData) { int destFontSize= initialFontData[0].getHeight() + fFontSizeOffset; if (destFontSize <= 0) { return FontDescriptor.createFrom(initialFontData); } return FontDescriptor.createFrom(initialFontData).setHeight(destFontSize); }
/** * Returns the set of FontData associated with this font. Modifying the elements * in the returned array has no effect on the original FontDescriptor. * * @return the set of FontData associated with this font * @since 3.3 */ public FontData[] getFontData() { Font tempFont = createFont(Display.getCurrent()); FontData[] result = tempFont.getFontData(); destroyFont(tempFont); return result; }
fontData = FontDescriptor.copy ( font.getFontData () ); fontData = FontDescriptor.createFrom ( fontName, fontSize, SWT.NORMAL ).getFontData (); fontData = FontDescriptor.createFrom ( fontName, origFontSize, SWT.NORMAL ).getFontData (); return this.manager.createFont ( FontDescriptor.createFrom ( fontData ) );
private Font createFont ( final ResourceManager resourceManager ) { final Font defaultFont = resourceManager.getDevice ().getSystemFont (); if ( defaultFont == null ) { return null; } final FontData fd[] = FontDescriptor.copy ( defaultFont.getFontData () ); if ( fd == null ) { return null; } for ( final FontData f : fd ) { if ( this.fontSize > 0 ) { f.setHeight ( this.fontSize ); } } return resourceManager.createFont ( FontDescriptor.createFrom ( fd ) ); } }
textLayout = new TextLayout(table.getDisplay()); textLayout.setOrientation(defaultOrientation); Font boldFont = resourceManager.createFont(FontDescriptor.createFrom( table.getFont()).setStyle(SWT.BOLD)); textLayout.setFont(table.getFont()); textLayout.setText(QuickAccessMessages.QuickAccess_AvailableCategories);
public final Object createResource(Device device) throws DeviceResourceException { return createFont(device); }
@Override public final void destroyResource(Object previouslyCreatedObject) { destroyFont((Font)previouslyCreatedObject); } }
fontData = FontDescriptor.copy ( font.getFontData () ); fontData = FontDescriptor.createFrom ( fontName, fontSize, SWT.NORMAL ).getFontData (); fontData = FontDescriptor.createFrom ( fontName, origFontSize, SWT.NORMAL ).getFontData (); return this.manager.createFont ( FontDescriptor.createFrom ( fontData ) );
private Font createFont ( final ResourceManager resourceManager ) { final Font defaultFont = resourceManager.getDevice ().getSystemFont (); if ( defaultFont == null ) { return null; } final FontData fd[] = FontDescriptor.copy ( defaultFont.getFontData () ); if ( fd == null ) { return null; } for ( final FontData f : fd ) { if ( this.fontSize > 0 ) { f.setHeight ( this.fontSize ); } } return resourceManager.createFont ( FontDescriptor.createFrom ( fd ) ); } }
private FontDescriptor createFontDescriptor(FontData[] initialFontData) { int destFontSize= initialFontData[0].getHeight() + fFontSizeOffset; if (destFontSize <= 0) { return FontDescriptor.createFrom(initialFontData); } return FontDescriptor.createFrom(initialFontData).setHeight(destFontSize); }
/** * Returns the set of FontData associated with this font. Modifying the elements * in the returned array has no effect on the original FontDescriptor. * * @return the set of FontData associated with this font */ public FontData[] getFontData() { Font tempFont = createFont(Display.getCurrent()); FontData[] result = tempFont.getFontData(); destroyFont(tempFont); return result; }
@Override public final Object createResource(Device device) throws DeviceResourceException { return createFont(device); }
public final void destroyResource(Object previouslyCreatedObject) { destroyFont((Font)previouslyCreatedObject); } }
/** * Returns a FontDescriptor that is equivalent to the receiver, but uses * the given style bits. * * <p>Does not modify the receiver.</p> * * @param style a bitwise combination of SWT.NORMAL, SWT.ITALIC and SWT.BOLD * @return a new FontDescriptor with the given style * * @since 3.3 */ public final FontDescriptor setStyle(int style) { FontData[] data = getFontData(); for (FontData next : data) { next.setStyle(style); } // Optimization: avoid holding onto extra instances by returning the receiver if // if it is exactly the same as the result FontDescriptor result = new ArrayFontDescriptor(data); if (result.equals(this)) { return this; } return result; }
/** * Returns the font descriptor for the JFace default font. * * @return the font descriptor for the JFace default font * @since 3.3 */ public FontDescriptor defaultFontDescriptor() { return FontDescriptor.createFrom(defaultFontData()); } }
/** * Returns the set of FontData associated with this font. Modifying the elements * in the returned array has no effect on the original FontDescriptor. * * @return the set of FontData associated with this font * @since 3.3 */ public FontData[] getFontData() { Font tempFont = createFont(Display.getCurrent()); FontData[] result = tempFont.getFontData(); destroyFont(tempFont); return result; }
/** * Returns an array of FontData containing copies of the FontData * from the original. * * @param original array to copy * @return a deep copy of the original array * @since 3.3 */ public static FontData[] copy(FontData[] original) { FontData[] result = new FontData[original.length]; for (int i = 0; i < original.length; i++) { FontData next = original[i]; result[i] = copy(next); } return result; }