void () { initText("<caret>" + StringUtil.repeat("abc\n", 100)); int scrollJumpBefore = getEditor().getSettings().getVerticalScrollJump(); getEditor().getSettings().setVerticalScrollJump(7); int lineHeight = getEditor().getLineHeight(); EditorTestUtil.setEditorVisibleSize(getEditor(), 10, 10); for (int i = 0; i < 9 - getEditor().getSettings().getVerticalScrollOffset(); ++i) { down(); } assertEquals(0, getEditor().getScrollingModel().getVerticalScrollOffset()); down(); assertEquals(7 * lineHeight, getEditor().getScrollingModel().getVerticalScrollOffset()); getEditor().getSettings().setVerticalScrollJump(scrollJumpBefore); }