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;
}
