- trying to solve an idiosyncrasy of MacOS which do not allow modifying the main menu in a non-main thread which is done after editing an object

2023-11-14 21:49:17 +02:00
parent a7c909273b
commit 4458249ee5
13 changed files with 100 additions and 95 deletions
--- a/appDatabase.py
+++ b/appDatabase.py
@@ -2010,7 +2010,7 @@ class ToolsDB2(QtWidgets.QWidget):
            new_name = "new_tool_1"

        dict_elem = {'name': new_name}
-        if type(self.app.options["tools_mill_tooldia"]) == float:
+        if isinstance(self.app.options["tools_mill_tooldia"], float):
            dict_elem['tooldia'] = self.app.options["tools_mill_tooldia"]
        else:
            try: