14.20: the Navigator minimap from 300%

2026-10-11 11:22:15 -04:00
1 parent bd4602fed9
commit 085b4dac6e
@@ -313,6 +313,7 @@ public:
 #include "Document/Guides+Session.h"
 #include "Document/ObjectSelection+Session.h"
 #include "Document/ColorRangeSelection+Session.h"
+#include "Document/EditorSession+Navigator.h"
 signals:
    void changed();