# HG changeset patch # User pl # Date 1013551572 0 # Node ID 6347d9c6e115fb3c57f04d4657afab13b0d1ced1 # Parent 737969e6affca78af55adcd3e882a60e2ded6c68 missing #ifdef HAVE_XDPMS diff -r 737969e6affc -r 6347d9c6e115 Gui/wm/ws.h --- a/Gui/wm/ws.h Tue Feb 12 22:03:44 2002 +0000 +++ b/Gui/wm/ws.h Tue Feb 12 22:06:12 2002 +0000 @@ -12,7 +12,9 @@ #include #include #include +#ifdef HAVE_XDPMS #include +#endif #define wsKeyReleased 0 #define wsKeyPressed 1