Searched defs:spanstart (Results 1 – 1 of 1) sorted by relevance
1332 int spanstart = txt.getSpanStart(span); in updateSpanPreviousFromCursor() local1354 int spanstart = txt.getSpanStart(span); in updateSpanPreviousFromCursor() local1384 int spanstart = txt.getSpanStart(span); in updateSpanNextToCursor() local1399 int spanstart = txt.getSpanStart(span); in updateSpanNextToCursor() local