public TSStructureViewTreeModel( @NotNull XmlFile file, @NotNull Function<DomElement, DomService.StructureViewMode> descriptor, @Nullable Editor editor ) { super( file, DomElementsNavigationManager.getManager(file.getProject()) .getDomElementsNavigateProvider(DomElementsNavigationManager.DEFAULT_PROVIDER_NAME), descriptor, editor ); myNavigationProvider = DomElementsNavigationManager.getManager(file.getProject()) .getDomElementsNavigateProvider(DomElementsNavigationManager.DEFAULT_PROVIDER_NAME); myDescriptor = descriptor; }
@Override public void actionPerformed(AnActionEvent e, DomModelTreeView treeView) { final SimpleNode simpleNode = treeView.getTree().getSelectedNode(); if(simpleNode instanceof BaseDomElementNode) { final DomElement domElement = ((BaseDomElementNode)simpleNode).getDomElement(); final DomElementNavigationProvider provider = DomElementsNavigationManager.getManager(domElement.getManager().getProject()).getDomElementsNavigateProvider(DomElementsNavigationManager.DEFAULT_PROVIDER_NAME); provider.navigate(domElement, true); } }
public void actionPerformed(AnActionEvent e, DomModelTreeView treeView) { final SimpleNode simpleNode = treeView.getTree().getSelectedNode(); if(simpleNode instanceof BaseDomElementNode) { final DomElement domElement = ((BaseDomElementNode)simpleNode).getDomElement(); final DomElementNavigationProvider provider = DomElementsNavigationManager.getManager(domElement.getManager().getProject()).getDomElementsNavigateProvider(DomElementsNavigationManager.DEFAULT_PROVIDER_NAME); provider.navigate(domElement, true); } }
public DomStructureViewTreeModel( @NotNull XmlFile file, @NotNull Function<DomElement, DomService.StructureViewMode> descriptor, @Nullable Editor editor) { this(file, DomElementsNavigationManager.getManager(file.getProject()).getDomElementsNavigateProvider(DomElementsNavigationManager .DEFAULT_PROVIDER_NAME), descriptor, editor); }
protected static DomElementNavigationProvider getNavigationProviderName(Project project) { return DomElementsNavigationManager.getManager(project) .getDomElementsNavigateProvider(DomElementsNavigationManager.DEFAULT_PROVIDER_NAME); }