Merge branch 'dev' into hidpi-icons

2018-11-29 00:15:57 +01:00
parent 3d7ef4286e 15c18325c0
commit 434e121f99
264 changed files with 6738 additions and 5146 deletions
--- a/rtgui/main.cc
+++ b/rtgui/main.cc
@@ -361,7 +361,7 @@ public:
    {
    }

-    ~RTApplication()
+    ~RTApplication() override
    {
        if (rtWindow) {
            delete rtWindow;