Merge with latest 2.3

2020-06-18 11:14:07 +02:00
parent 396ebf27b5 fca11fc6b6
commit 71ec1db9f6
121 changed files with 3269 additions and 1775 deletions
@@ -265,7 +265,7 @@ class LuaWidget: public Widget

    virtual void update();

-    virtual void refresh();
+    void refresh() override;

    virtual void background();