@Override public void moveCursorNearTop(int rowOffset) { int screenRow = getSession().documentToScreenRow(getCursorPosition()); widget_.getEditor().scrollToRow(Math.max(0, screenRow - rowOffset)); }
@Override public void moveCursorNearTop(int rowOffset) { int screenRow = getSession().documentToScreenRow(getCursorPosition()); widget_.getEditor().scrollToRow(Math.max(0, screenRow - rowOffset)); }