@Test(value=100, onEDT=true) privatevoid prepare6452106() {
text.setText("This is easily generated on my\nmachine");
Document doc = text.getDocument();
// wrap the long paragraph
Dimension d = text.getPreferredSize();
Dimension size = new Dimension(d.width * 2 / 3, d.height * 5);
window.setSize(size);
// place caret at the end of 2nd line
Element p1 = doc.getDefaultRootElement().getElement(0); int pos = p1.getEndOffset();
text.setCaretPosition(pos - 1);
}
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.