Java PlainDocument.getDefaultRootElement Examples

Example #1

File: EditorArea.java Project: rlegendi/NetLogo

 int offsetToLine(javax.swing.text.PlainDocument doc, int offset) {
   return doc.getDefaultRootElement().getElementIndex(offset);
 }

Example #2

File: EditorArea.java Project: rlegendi/NetLogo

 int lineToEndOffset(javax.swing.text.PlainDocument doc, int line) {
   return doc.getDefaultRootElement().getElement(line).getEndOffset();
 }