Guten Tag,
folgendes für mich unerklärbares Dilemma:
Ist das ein Java-Bug? (Man beachte das "size=12" in der zweiten Ausgabe.) Der Hintergrund ist, dass ich ein DefaultStyledDocument samt seinem "default"-Style lade und speichere, wobei es beim Laden eben zu dem Effekt kommt, den ich im oberen Code anzudeuten versucht habe, sprich der "default"-Style wird beim initialisieren der JTextPane mit dem Dokument nicht übernommen.
Hoffe, es hat jemand einen Tipp für mich. Vielen Dank!
folgendes für mich unerklärbares Dilemma:
Code:
DefaultStyledDocument doc = new DefaultStyledDocument();
Style dfltStyle = doc.getStyle("default");
StyleConstants.setFontSize(dfltStyle, 22);
System.out.println(dfltStyle);
// Ausgabe: "NamedStyle:default {size=22,name=default,}"
JTextPane textPane = new JTextPane(doc);
System.out.println(dfltStyle);
// Ausgabe: "NamedStyle:default {name=default,foreground=sun.swing.PrintColorUIResource[r=51,g=51,b=51],family=Dialog,bold=false,size=12,FONT_ATTRIBUTE_KEY=javax.swing.plaf.FontUIResource[family=Dialog,name=Dialog,style=plain,size=12],italic=false,}"
Ist das ein Java-Bug? (Man beachte das "size=12" in der zweiten Ausgabe.) Der Hintergrund ist, dass ich ein DefaultStyledDocument samt seinem "default"-Style lade und speichere, wobei es beim Laden eben zu dem Effekt kommt, den ich im oberen Code anzudeuten versucht habe, sprich der "default"-Style wird beim initialisieren der JTextPane mit dem Dokument nicht übernommen.
Hoffe, es hat jemand einen Tipp für mich. Vielen Dank!