2 Commits

Author	SHA1	Message	Date
jonjenssen	96fc6cd358	Polygon filter updates (#7216) ... * Rename polylinefilter to polygonfilter * Update icon name, too * Some GUI adjustments * Remove obsolete code that came back in a merge somewhere. Disable auto-enable polygon filter after picking corner points. * Add option to delete a point in polygon filter point editor by extending generic picker interface * Rename enum, too. * Improved filter naming Co-authored-by: Magne Sjaastad <magne.sjaastad@ceetronsolutions.com>	2021-01-15 19:16:01 +01:00
Gaute Lindkvist	81699db187	Rename ApplicationCode to ApplicationLibCode	2021-01-11 15:27:45 +01:00