Searched refs:eventComponentElement (Results 1 – 1 of 1) sorted by relevance
443 ResultsElement eventComponentElement = eventResultsElement; in selectionChanged() local444 if (!(eventComponentElement instanceof ComponentResultsElement)) { in selectionChanged()445 while (!(eventComponentElement instanceof ComponentResultsElement)) { in selectionChanged()446 eventComponentElement = (ResultsElement) eventComponentElement.getParent(null); in selectionChanged()448 this.expandedComponents.add(eventComponentElement); in selectionChanged()