Searched refs:lineInfo (Results 1 – 6 of 6) sorted by relevance
99 IRegion lineInfo = document.getLineInformation(line - 1); in reveal() local102 textEditor.selectAndReveal(lineInfo.getOffset(), lineInfo.getLength()); in reveal()
677 IRegion lineInfo = document.getLineInformation(line - 1); in findRange() local678 int lineStartOffset = lineInfo.getOffset(); in findRange()711 IRegion lineInfo = document.getLineInformation(line - 1); in findLineTextRange() local712 String lineContents = document.get(lineInfo.getOffset(), lineInfo.getLength()); in findLineTextRange()730 return new Region(lineInfo.getOffset() + lineBegin, lineEnd - lineBegin); in findLineTextRange()
390 IRegion lineInfo = document.getLineInformation(line - 1); in revealSource() local393 textEditor.selectAndReveal(lineInfo.getOffset(), lineInfo.getLength()); in revealSource()
1072 IRegion lineInfo = document.getLineInformationOfOffset(originalOffset); in parseAttributeInfo() local1073 int lineStart = lineInfo.getOffset(); in parseAttributeInfo()1074 String line = document.get(lineStart, lineInfo.getLength()); in parseAttributeInfo()
1348 IRegion lineInfo = document.getLineInformationOfOffset(caretOffset); in detectHyperlinks() local1349 int lineStart = lineInfo.getOffset(); in detectHyperlinks()1350 int lineEnd = Math.min(lineStart + lineInfo.getLength(), in detectHyperlinks()
600 IRegion lineInfo = document.getLineInformationOfOffset(offset); in findMarkersOnLine() local601 int lineStart = lineInfo.getOffset(); in findMarkersOnLine()602 int lineEnd = lineStart + lineInfo.getLength(); in findMarkersOnLine()