Gui: Use override etc 2

2022-08-09 13:56:15 +10:00
parent 810c3780de
commit 75fa455c5d
213 changed files with 1723 additions and 1723 deletions
--- a/src/Gui/Splashscreen.cpp
+++ b/src/Gui/Splashscreen.cpp
@@ -97,7 +97,7 @@ public:
                textColor = col;
        }
    }
-    virtual ~SplashObserver()
+    ~SplashObserver() override
    {
        Base::Console().DetachObserver(this);
    }