コード例 #1
0
ファイル: EditorArea.java プロジェクト: rlegendi/NetLogo 
 int offsetToLine(javax.swing.text.PlainDocument doc, int offset) {
   return doc.getDefaultRootElement().getElementIndex(offset);
 }
コード例 #2
0
ファイル: EditorArea.java プロジェクト: rlegendi/NetLogo 
 int lineToEndOffset(javax.swing.text.PlainDocument doc, int line) {
   return doc.getDefaultRootElement().getElement(line).getEndOffset();
 }