/** * Returns the document's token marker. Equivalent to calling * <code>getDocument().getTokenMarker()</code>. */ public final TokenMarker getTokenMarker() { return document.getTokenMarker(); }
.getTokenMarker(); int x = textArea.getHorizontalOffset();