Searched defs:spanend (Results 1 – 1 of 1) sorted by relevance
1333 int spanend = txt.getSpanEnd(span); in updateSpanPreviousFromCursor() local1355 int spanend = txt.getSpanEnd(span); in updateSpanPreviousFromCursor() local1385 int spanend = txt.getSpanEnd(span); in updateSpanNextToCursor() local