Added option to switch off snapping in the Editor
authorFabian Stemmler <stemmler@in.tum.de>
Sun, 14 Jul 2019 16:08:35 +0000 (18:08 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Sun, 14 Jul 2019 16:08:35 +0000 (18:08 +0200)
Also moved all UI related classes into their own package


No differences found