- trying to optimize Gerber Editor selection with the mouse

- optimized some of the strings
2020-11-03 06:21:53 +02:00
parent b6d4d5e85f
commit 5170505f53
46 changed files with 5790 additions and 5714 deletions
--- a/appTools/ToolCorners.py
+++ b/appTools/ToolCorners.py
@@ -416,7 +416,7 @@ class ToolCorners(AppTool):

    def replot(self, obj, run_thread=True):
        def worker_task():
-            with self.app.proc_container.new('%s...' % _("Plotting")):
+            with self.app.proc_container.new('%s ...' % _("Plotting")):
                obj.plot()
                self.app.app_obj.object_plotted.emit(obj)