Skip to content

Prevent the ChildrenTree from highlighting the parent element

Erwan Rouchetrequested to merge
fix-main-element-highlight into master

Closes #751 (closed)

Edited by Erwan Rouchet

Merge request reports