void () { if (wasScrolled(getEditors())) myShouldScroll = false; if (myScrollToChange != null) return; ensureEditorSizeIsUpToDate(getEditors()); if (myShouldScroll) myShouldScroll = !doScrollToLine(); if (myShouldScroll) myShouldScroll = !doScrollToPosition(); }