--- svgui/view/Overview.cpp.orig 2020-05-21 09:47:47 UTC +++ svgui/view/Overview.cpp @@ -20,6 +20,7 @@ #include #include +#include #include //#define DEBUG_OVERVIEW 1