Merge branch 'dev' into newlocallab2

2020-05-30 11:15:55 +02:00
parent cac83d3ffc ca605eece6
commit 25498651a8
9 changed files with 60 additions and 45 deletions
--- a/rtgui/rtwindow.h
+++ b/rtgui/rtwindow.h
@@ -124,6 +124,7 @@ public:
    {
        return is_fullscreen;
    }
+    void setWindowSize ();
    void set_title_decorated (Glib::ustring fname);
    void closeOpenEditors();
    void setEditorMode (bool tabbedUI);