ecere/gui/drivers/XInterface: (#992) Adding XFlush() to XWarpPointer to improved...

diff --git a/ecere/src/gui/drivers/XInterface.ec b/ecere/src/gui/drivers/XInterface.ec
index 20aed95..8efbc50 100644 (file)
--- a/ecere/src/gui/drivers/XInterface.ec
+++ b/ecere/src/gui/drivers/XInterface.ec
@@ -3104,6 +3104,7 @@ class XInterface : Interface
    void SetMousePosition(int x, int y)
    {
       XWarpPointer(xGlobalDisplay, None, DefaultRootWindow(xGlobalDisplay), 0, 0, 0, 0, x, y);
+      XFlush(xGlobalDisplay);
    }
 
    void SetMouseRange(Window window, Box box)