Make it impossible to place two locations on top of each other

DEIS-Tools / H-Uppaal

MIT License

8 stars 3 forks source link

Closed ulriknyman closed 4 years ago

ulriknyman commented 4 years ago

When dragging a location it should not be possible to put one on top of another location.