diff options
| author | Arne Dußin | 2020-11-26 20:50:30 +0100 |
|---|---|---|
| committer | Arne Dußin | 2020-11-26 20:50:30 +0100 |
| commit | cf3c8378557457363853d6795e4ddf9e70a4738e (patch) | |
| tree | cba843ac32c6e15d565528592c857ee05d0805c6 /src/tool/mod.rs | |
| parent | 9d469c353eb179a35fad6d42fa3f6fc985b49188 (diff) | |
| download | graf_karto-cf3c8378557457363853d6795e4ddf9e70a4738e.tar.gz graf_karto-cf3c8378557457363853d6795e4ddf9e70a4738e.zip | |
Make polygons deletable
Before, the deletion tool was not targeting polygons. I also took the
liberty to broaden the functionality of the surface trait, which now can
check if a rectangle or polygon is contained.
Diffstat (limited to 'src/tool/mod.rs')
0 files changed, 0 insertions, 0 deletions