void (PsiFile file, boolean initialUpdate) { // setFile method is invoked in LaterInvocator so PsiManager // can be already disposed, so we need to check this before using it. if (PsiManager.getInstance(myProject).isDisposed()) { return; } if (file != null && getSelectedFile() == file) return; CurrentFileTodosTreeBuilder builder = (CurrentFileTodosTreeBuilder)getTreeBuilder(); builder.setFile(file); if (builder.isUpdatable() || initialUpdate) { Object selectableElement = builder.getTodoTreeStructure().getFirstSelectableElement(); if (selectableElement != null) { builder.select(selectableElement); } } }