Filter out hidden elements in sirius.addElementVisibleListener#1457

Merged

ymo-sci merged 2 commits intodevelopfrom feature/jmu/SE-13968-hidden-elements-are-not-visible

Sep 11, 2024

+10-1

Commits on Sep 5, 2024

Filter out hidden elements in sirius.addElementVisibleListener
jmuscireum
committed
Use a more sophisticated method to check element visibility
jmuscireum
committed