--- src/widgets/map_view.cpp.orig 2020-05-21 09:50:59 UTC +++ src/widgets/map_view.cpp @@ -40,6 +40,7 @@ #include #include #include +#include namespace SolarusEditor {