--- src/Ewmh.cc.orig 2022-10-10 13:03:55.000000000 -0700 +++ src/Ewmh.cc 2022-10-10 13:04:33.000000000 -0700 @@ -914,7 +914,7 @@ * Window Manager. * */ - long value[2] = {screen.width(), screen.height()}; + long value[2] = {static_cast(screen.width()), static_cast(screen.height())}; screen.rootWindow().changeProperty(m_net->desktop_geometry, XA_CARDINAL, 32, PropModeReplace,