Skip to content

Deselect nodes even if select feature of clicked is disabled#401

Merged
dhuebner merged 1 commit intoeclipse-sprotty:masterfrom jbicker:issue-128Nov 9, 2023
+14-15

Commits

Commits on Nov 8, 2023