void () { if (wasScrolled(getEditors())) myShouldScroll = false; ensureEditorSizeIsUpToDate(getEditors()); if (myShouldScroll) myShouldScroll = !doScrollToChange(); if (myShouldScroll) myShouldScroll = !doScrollToLine(); if (myShouldScroll) myShouldScroll = !doScrollToPosition(); if (myShouldScroll) doScrollToFirstChange(); myShouldScroll = false; }