void updateFont (Font oldFont, Font newFont) { if (getFont ().equals (oldFont)) setFont (newFont); }
/** * Sets the font used by this viewer. * * @param font * the font used by this viewer */ public void setFont(Font font) { StyledText styledText = getTextWidget(); Font oldFont = styledText.getFont(); if (oldFont == font) { return; } if (font == null || !(font.equals(oldFont))) { styledText.setFont(font); } }
/** * Sets the font used by this viewer. * * @param font * the font used by this viewer */ public void setFont(Font font) { StyledText styledText = getTextWidget(); Font oldFont = styledText.getFont(); if (oldFont == font) { return; } if (font == null || !(font.equals(oldFont))) { styledText.setFont(font); } }
@Override void setFont( Font font ) { if( !this.font.equals( font ) ) { GCOperation operation = new SetProperty( cloneFontData( FontUtil.getData( font ) ) ); addGCOperation( operation ); } this.font = font; }
/** * Returns a height hint for a button control. * @deprecated * @see IDialogConstants#BUTTON_HEIGHT */ @Deprecated public static int getButtonHeigthHint(Button button) { if (button.getFont().equals(JFaceResources.getDefaultFont())) button.setFont(JFaceResources.getDialogFont()); PixelConverter converter= new PixelConverter(button); return converter.convertVerticalDLUsToPixels(IDialogConstants.BUTTON_HEIGHT); }
@Override public void setFont(Font font) { checkWidget(); if (font != null && font.equals(getFont())) return; super.setFont(font); oldFont = getFont(); updateFolder(REDRAW); } @Override
/** * Returns a width hint for a button control. */ public static int getButtonWidthHint(Button button) { if (button.getFont().equals(JFaceResources.getDefaultFont())) button.setFont(JFaceResources.getDialogFont()); PixelConverter converter = new PixelConverter(button); int widthHint = converter.convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH); return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x); }
public void setFont(Font font) { checkWidget(); if (font != null && font.equals(getFont())) return; super.setFont(font); oldFont = getFont(); updateFolder(REDRAW); } public void setForeground (Color color) {
@Override public void setFont(Font font) { checkWidget(); if (font != null && font.equals(getFont())) return; super.setFont(font); oldFont = getFont(); updateFolder(REDRAW); } @Override
@Override public void setFont(Font font) { checkWidget(); if (font != null && font.equals(getFont())) return; super.setFont(font); oldFont = getFont(); updateFolder(REDRAW); } @Override
@Override public void setFont(Font font) { checkWidget(); if (font != null && font.equals(getFont())) return; super.setFont(font); oldFont = getFont(); updateFolder(REDRAW); } @Override
/** * Returns a width hint for a button control. */ public static int getButtonWidthHint(Button button) { if (button.getFont().equals(JFaceResources.getDefaultFont())) button.setFont(JFaceResources.getDialogFont()); PixelConverter converter= new PixelConverter(button); int widthHint= converter.convertHorizontalDLUsToPixels(IDialogConstants.BUTTON_WIDTH); return Math.max(widthHint, button.computeSize(SWT.DEFAULT, SWT.DEFAULT, true).x); }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result = table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result += table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) table.setFont(JFaceResources.getDialogFont()); int result= table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) result+= table.getGridLineWidth() * (rows - 1); return result; }
public static int getTableHeightHint(Table table, int rows) { if (table.getFont().equals(JFaceResources.getDefaultFont())) { table.setFont(JFaceResources.getDialogFont()); } int result = table.getItemHeight() * rows + table.getHeaderHeight(); if (table.getLinesVisible()) { result += table.getGridLineWidth() * (rows - 1); } return result; }