Clément Fournier 8c2cc4f792 Fix clicking on already selected tree item ...

The editor now scrolls back to the clicked node

2018-04-26 14:42:19 +02:00

..

src

Fix clicking on already selected tree item

2018-04-26 14:42:19 +02:00

pom.xml

[maven-release-plugin] prepare for next development iteration

2018-03-26 09:23:23 +02:00