public static void parseFontSettings(String value, StyledTextParagraph para) { // e.g. \Fkroeger|b0|i0|c238|p10 - font Kroeger, non-bold, non-italic, codepage 238, pitch 10 StringTokenizer st = new StringTokenizer(value, "|"); para.setFont(st.nextToken()); while (st.hasMoreTokens()) { String option = st.nextToken(); char code = option.charAt(0); int i = Integer.parseInt(option.substring(1)); switch (code) { case 'b': para.setBold(i == 1); break; case 'i': para.setItalic(i == 1); break; case 'c': // codepage break; case 'p': // pitch break; } } }
protected static StyledTextParagraph createParagraphFromParent(StyledTextParagraph parent) { StyledTextParagraph p = new StyledTextParagraph(); p.setValign(parent.getValign()); p.setBold(parent.isBold()); p.setFont(parent.getFont()); p.setItalic(parent.isItalic()); p.setUnderline(parent.isUnderline()); p.setOverline(parent.isOverline()); p.setWidth(parent.getWidth()); p.setFontHeight(parent.getFontHeight()); p.setInsertPoint(parent.getInsertPoint()); p.setColor(parent.getColor()); return p; }