void (@NotNull Object element, Runnable onDone, boolean addToSelection, boolean canBeCentered, boolean scroll) { DefaultMutableTreeNode toSelect = getNodeToScroll(element); if (toSelect == null) { runDone(onDone); return; } if (myUpdaterState != null) { myUpdaterState.addSelection(element); } setHoldSize(false); runDone(wrapScrollTo(onDone, element, toSelect, addToSelection, canBeCentered, scroll)); }