OpenGrok

Lines Matching refs:pushNodesByBackendIdsToFrontend

496         target.domModel.pushNodesByBackendIdsToFrontend([event.backendNodeId], barrier.createCallback(setRelatedNode));