- more bugs that were introduced by recent changes done to solve other bugs and so on: fixed issues with the Editors and Delete shortcut

2020-10-30 20:04:55 +02:00
parent fd04ac9f73
commit fdfa6a22be
7 changed files with 48 additions and 79 deletions
--- a/appTools/ToolPunchGerber.py
+++ b/appTools/ToolPunchGerber.py
@@ -433,7 +433,7 @@ class ToolPunchGerber(AppTool):
                        else:
                            grb_solid_geometry.append(el_geo['solid'])

-        target_geometry = MultiPolygon(target_geometry)
+        target_geometry = MultiPolygon(target_geometry).buffer(0)

        # create the punched Gerber solid_geometry
        punched_target_geometry = target_geometry.difference(exc_solid_geometry)