- improved Mark Area Tool in Gerber Editor such that at each launch the previous markings are deleted

2019-08-12 23:34:56 +03:00
parent 04bc1ba013
commit 3bf5992023
2 changed files with 4 additions and 0 deletions
--- a/flatcamEditors/FlatCAMGrbEditor.py
+++ b/flatcamEditors/FlatCAMGrbEditor.py
@@ -1775,6 +1775,9 @@ class FCMarkArea(FCShapeTool):
        self.draw_app.hide_tool('all')
        self.draw_app.ma_tool_frame.show()

+        # clear previous marking
+        self.draw_app.ma_annotation.clear(update=True)
+
        try:
            self.draw_app.ma_threshold__button.clicked.disconnect()
        except (TypeError, AttributeError):