if (lineBuffer.getCurrentLine() - shell.getHeight() + 1 == 0) else if (lineBuffer.atEnd()) String prompt = MOREPROMPT + "[line:" + lineBuffer.getCurrentLine() + topBottomIndicator + "] "; case 'J': case 16: lineBuffer.rewindBuffer(shell.getHeight() - 1, lineBuffer.getCurrentLine() - 1); lineBuffer.setLineWidth(shell.getWidth()); return -1; lineBuffer.rewindBuffer(shell.getHeight() - 1, lineBuffer.getCurrentLine() - shell.getHeight()); lineBuffer.setLineWidth(shell.getWidth()); return -1; case 14: case '\n': lineBuffer.setLineWidth(shell.getWidth()); return -2; case ' ': lineBuffer.setLineWidth(shell.getWidth()); return -3; case 'q': int result = lineBuffer.findPattern(p, backwards); lineBuffer.rewindBuffer(shell.getHeight() - 1, result);
LineBuffer lineBuffer = new LineBuffer(stream, width); StringBuilder lastPattern = new StringBuilder(); Mainloop: while ((read = lineBuffer.read(buffer)) != -1) lineBuffer.seenLine(); lCounter = width; ++y; continue Bufferloop; case '\n': lineBuffer.seenLine(); lCounter = width; if (++y == 1)
public void rewindBuffer(final int height, final int toLine) { int renderFrom = toLine - height; if (renderFrom < 0) { bufferLine = 0; bufferPos = 0; } else { bufferPos = findLine(renderFrom); bufferLine = renderFrom; } }