public int getFontSize() { AttributeSet attrSet = attributes.get(Level.INFO); return StyleConstants.getFontSize(attrSet); }
/** * Returns the text Font family name of the activator text */ public String getTextFontSize() { return Integer.toString(StyleConstants.getFontSize(textAttribs)); }
public String getTextFontSize() { return Integer.toString(getFontSize(textAttribs)); }
cssMap.put("font-size", Integer.toString(StyleConstants.getFontSize(style)));
private static void updateStyles(final StyleSheet _styles) { if (_styles != null) { final int font = 12 * BuPreferences.BU.getFontScaling() / 100; final Enumeration rules = _styles.getStyleNames(); while (rules.hasMoreElements()) { final String name = (String) rules.nextElement(); final Style rule = _styles.getStyle(name); if (StyleConstants.ALIGN_JUSTIFIED == StyleConstants.getAlignment(rule)) { StyleConstants.setAlignment(rule, StyleConstants.ALIGN_LEFT); } if (StyleConstants.getFontSize(rule) <= font) { // FuLog.debug("WBP: font size="+StyleConstants.getFontSize(rule)); StyleConstants.setFontSize(rule, font); } } } }
Style fs=monPays.getStyle(StyleContext.DEFAULT_STYLE); FontMetrics fm=monPays.getFontMetrics( new Font(StyleConstants.getFontFamily(fs), Font.PLAIN, StyleConstants.getFontSize(fs))); d = monPays.getDocument(); d.insertString
private static final void updateStyles(StyleSheet _styles) { if(_styles!=null) { int FONT=12*BuPreferences.BU.getFontScaling()/100; Enumeration rules=_styles.getStyleNames(); while(rules.hasMoreElements()) { String name=(String)rules.nextElement(); Style rule=_styles.getStyle(name); if(StyleConstants.ALIGN_JUSTIFIED ==StyleConstants.getAlignment(rule)) StyleConstants.setAlignment (rule,StyleConstants.ALIGN_LEFT); if(StyleConstants.getFontSize(rule)<=FONT) { //FuLog.debug("WBP: font size="+StyleConstants.getFontSize(rule)); StyleConstants.setFontSize(rule,FONT); } } } }
/** * A convience method to read a font from a style. * * @param style Style being modified * @return The font inside the passed style */ public static String getFontString(Style style) { String font = StyleConstants.getFontFamily(style) + "-"; if (StyleConstants.isBold(style)) font += "BOLD"; if (StyleConstants.isItalic(style)) font += "ITALIC"; if (!StyleConstants.isBold(style) && !StyleConstants.isItalic(style)) font += "PLAIN"; font += "-" + StyleConstants.getFontSize(style); return font; }
new Float(StyleConstants.getFontSize(attrSet)) );
new Float(StyleConstants.getFontSize(attrSet)) );
private Font getAttributeSetFont(AttributeSet attr) { int style = PLAIN; if (isBold(attr)) { style |= BOLD; } if (isItalic(attr)) { style |= ITALIC; } String family = StyleConstants.getFontFamily(attr); int size = getFontSize(attr); if (isSuperscript(attr) || isSubscript(attr)) { size -= 2; } return doc.getStyleSheet().getFont(family, style, size); }
int size = StyleConstants.getFontSize(attr);
MutableAttributeSet style = styles.messageUser(user); StyleConstants.setBold(style, false); int fontSize = StyleConstants.getFontSize(style) - 2; if (fontSize <= 0) { fontSize = StyleConstants.getFontSize(style);
StyleConstants.setFontSize(resultSet,StyleConstants.getFontSize(inferiorSet));
StyleConstants.setFontSize(handleStyle, StyleConstants.getFontSize(markableAttributes));