diff options
| -rw-r--r-- | x11-wm/fluxbox/files/patch-src_Ewmh.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/x11-wm/fluxbox/files/patch-src_Ewmh.cc b/x11-wm/fluxbox/files/patch-src_Ewmh.cc new file mode 100644 index 000000000000..65446ef0d3ad --- /dev/null +++ b/x11-wm/fluxbox/files/patch-src_Ewmh.cc @@ -0,0 +1,11 @@ +--- src/Ewmh.cc.orig 2018-02-17 12:06:58 UTC ++++ src/Ewmh.cc +@@ -914,7 +914,7 @@ void Ewmh::updateGeometry(BScreen &screen) { + * Window Manager. + * + */ +- long value[2] = {screen.width(), screen.height()}; ++ long value[2] = {static_cast<long>(screen.width()), static_cast<long>(screen.height())}; + screen.rootWindow().changeProperty(m_net->desktop_geometry, + XA_CARDINAL, 32, + PropModeReplace, |