Xext: add GEDeviceMaskIsSet (GE mask checking per device)

If a mask was set for the NULL device, then we pretend the mask is set for all
devices.

1 files changed, 2 insertions, 1 deletions

diff --git a/Xext/geext.h b/Xext/geext.h
index a9021277b..577654a17 100644
--- a/Xext/geext.h
+++ b/Xext/geext.h
@@ -106,7 +106,8 @@ void GERegisterExtension(
         );
 
 void GEInitEvent(xGenericEvent* ev, int extension);
-
+BOOL GEDeviceMaskIsSet(WindowPtr pWin, DeviceIntPtr pDev, 
+                       int extension, Mask mask);
 
 void GEExtensionInit(void);