The explorer can still be expanded even if the synchronization is deactivated #1851
Description
Selecting an element in the diagram can still expand the explorer and reveal it
{{ message }}
Selecting an element in the diagram can still expand the explorer and reveal it