Ejemplos de PlainDocument.getDefaultRootElement en Java

Ejemplo n.º 1

Archivo: EditorArea.java Proyecto: rlegendi/NetLogo

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

Ejemplo n.º 2

Archivo: EditorArea.java Proyecto: rlegendi/NetLogo

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