void (@NotNull FindResult next, boolean retainOldSelection, boolean adjustScrollPosition) { retainOldSelection &= myCursor != null && mySelectionManager.isSelected(myCursor); myCursor = next; updateSelection(!retainOldSelection, false, adjustScrollPosition); notifyCursorMoved(); }