Searched refs:maxLineIndex (Results 1 – 4 of 4) sorted by relevance
111 self.maxLineIndex = maxLines + 1193 extraLines = int(float(str(self.text.index("end"))) - self.maxLineIndex)223 maxLines = self.maxLineIndex - 1230 … extraLines = len(strTagList) + int(float(str(self.text.index("end"))) - self.maxLineIndex)
8091 int maxLineIndex = renderer.maxWidthLineIndex; in resetCache() local8094 if (0 <= maxLineIndex && maxLineIndex < content.getLineCount()) { in resetCache()8095 renderer.calculate(maxLineIndex, 1); in resetCache()8106 int maxLineIndex = renderer.maxWidthLineIndex; in resetCache() local8109 if (0 <= maxLineIndex && maxLineIndex < content.getLineCount()) { in resetCache()8110 renderer.calculate(maxLineIndex, 1); in resetCache()
8093 int maxLineIndex = renderer.maxWidthLineIndex;8096 if (0 <= maxLineIndex && maxLineIndex < content.getLineCount()) {8097 renderer.calculate(maxLineIndex, 1);8108 int maxLineIndex = renderer.maxWidthLineIndex;8111 if (0 <= maxLineIndex && maxLineIndex < content.getLineCount()) {8112 renderer.calculate(maxLineIndex, 1);
3949 int maxLineIndex = -1; in GotoPrevBookmark()3952 if (bookmark.LineIndex > maxLineIndex) in GotoPrevBookmark()3954 maxLineIndex = bookmark.LineIndex; in GotoPrevBookmark()