void (@NotNull Project project, @NotNull Editor editor, @NotNull PsiFile file) { var currentElement = DomUtil.getDomElement(editor, file); while (currentElement != null) { DomElementNavigationProvider provider = getDomElementNavigationProvider(currentElement); if (provider != null) { provider.navigate(currentElement, true); return; } else { currentElement = currentElement.getParent(); } } }