Merge branch 'dev' into favorites-gui

2023-01-02 15:37:07 -08:00
parent 6a0067d738 f449a726e8
commit 143e5c6783
193 changed files with 64046 additions and 10050 deletions
--- a/rtgui/editwindow.h
+++ b/rtgui/editwindow.h
@@ -39,6 +39,8 @@ private:
    std::set<Glib::ustring> filesEdited;
    std::map<Glib::ustring, EditorPanel*> epanels;

+    sigc::signal<void> externalEditorChangedSignal;
+
    bool isFullscreen;
    bool isClosed;
    bool isMinimized;