void (@Nullable FilePath toSelect) { if (toSelect == null) return; int rowInTree = findRowContainingFile(getRoot(), toSelect); if (rowInTree == -1) return; setSelectionRow(rowInTree); TreeUtil.showRowCentered(this, rowInTree, false); }