--- src/gui/widgets/Panner.cpp.orig 2020-05-18 16:29:03 UTC +++ src/gui/widgets/Panner.cpp @@ -26,6 +26,7 @@ #include #include +#include #include