Beispiel #1
0
 int offsetToLine(javax.swing.text.PlainDocument doc, int offset) {
   return doc.getDefaultRootElement().getElementIndex(offset);
 }
Beispiel #2
0
 int lineToEndOffset(javax.swing.text.PlainDocument doc, int line) {
   return doc.getDefaultRootElement().getElement(line).getEndOffset();
 }