Coverity: Uncaught exception

2020-07-19 18:22:16 +02:00
parent 2ee8ad1854
commit 43d9e82f97
4 changed files with 42 additions and 7 deletions
--- a/src/Gui/TaskElementColors.cpp
+++ b/src/Gui/TaskElementColors.cpp
@@ -106,7 +106,12 @@ public:
    }

    ~Private() {
-        vpParent->OnTopWhenSelected.setValue(onTopMode);
+        try {
+            vpParent->OnTopWhenSelected.setValue(onTopMode);
+        }
+        catch (const Base::Exception& e) {
+            e.ReportException();
+        }
    }

    bool allow(App::Document *doc, App::DocumentObject *obj, const char *subname) {