Hallo!
Ich möchte in ein HtmlDocument einen String als Link einfügen:
document = new HTMLDocument();
editorKit = new HTMLEditorKit();
pane = new JTextPane(document);
editorKit.install(pane);
in dem Document ist bereits ein Satz eingefügt:
document.insertString(document.getLength(), "Ein langer Satz", attributeSet);
das nachfolgende, einzufügende Wort soll jetzt als Link dargestellt werden.
Die einzige (nützliche) Methode, die ich gefunden habe, ist:
void insertHTML(HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag insertTag)
Inserts HTML into an existing document.
Doch verstehe ich nicht, was "popDepth" und "pushDepth" bedeuten - bzw. werde aus der gegebenen
Erläuterung
popDepth - the number of ElementSpec.EndTagTypes to generate before inserting
pushDepth - the number of ElementSpec.StartTagTypes with a direction of
ElementSpec.JoinNextDirection that should be generated before inserting, but after the end tags have
been generated.
nicht schlau. Vielleicht gibt es auch eine andere, bessere Alternative?
Für Erklärungen bzw. Hilfe vielen Danke im voraus!
Ich möchte in ein HtmlDocument einen String als Link einfügen:
document = new HTMLDocument();
editorKit = new HTMLEditorKit();
pane = new JTextPane(document);
editorKit.install(pane);
in dem Document ist bereits ein Satz eingefügt:
document.insertString(document.getLength(), "Ein langer Satz", attributeSet);
das nachfolgende, einzufügende Wort soll jetzt als Link dargestellt werden.
Die einzige (nützliche) Methode, die ich gefunden habe, ist:
void insertHTML(HTMLDocument doc, int offset, String html, int popDepth, int pushDepth, HTML.Tag insertTag)
Inserts HTML into an existing document.
Doch verstehe ich nicht, was "popDepth" und "pushDepth" bedeuten - bzw. werde aus der gegebenen
Erläuterung
popDepth - the number of ElementSpec.EndTagTypes to generate before inserting
pushDepth - the number of ElementSpec.StartTagTypes with a direction of
ElementSpec.JoinNextDirection that should be generated before inserting, but after the end tags have
been generated.
nicht schlau. Vielleicht gibt es auch eine andere, bessere Alternative?
Für Erklärungen bzw. Hilfe vielen Danke im voraus!