- updated the Extract Tool - new functionality added: Extract Cutout Gerber from a given Gerber object; added parameters in Preferences

2020-11-10 15:55:32 +02:00
parent 5d2d810898
commit 4262eef3e5
5 changed files with 183 additions and 8 deletions
--- a/defaults.py
+++ b/defaults.py
@@ -713,6 +713,8 @@ class FlatCAMDefaults:
        "tools_extract_rectangular": False,
        "tools_extract_others": False,
        "tools_extract_sm_clearance": 0.1,
+        "tools_extract_cut_margin": 0.1,
+        "tools_extract_cut_thickness": 0.1,

        # Punch Gerber Tool
        "tools_punch_hole_type": 'exc',