From ef6189f348d7f911afe640e6b817e2e945dc86a1 Mon Sep 17 00:00:00 2001
From: Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
Date: Thu, 28 Nov 2019 15:47:09 +0100
Subject: [PATCH] Wayland: Unset the cursor name on border exit

It would previously conserve the last name it had before leaving the
border, sometimes desynchronising with what it should have been.
---
 src/wl_init.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/wl_init.c b/src/wl_init.c
index 9e692f0e..3507c8cf 100644
--- a/src/wl_init.c
+++ b/src/wl_init.c
@@ -125,6 +125,7 @@ static void pointerHandleLeave(void* data,
     _glfw.wl.serial = serial;
     _glfw.wl.pointerFocus = NULL;
     _glfwInputCursorEnter(window, GLFW_FALSE);
+    _glfw.wl.cursorPreviousName = NULL;
 }
 
 static void setCursor(_GLFWwindow* window, const char* name)
@@ -196,6 +197,7 @@ static void pointerHandleMotion(void* data,
             window->wl.cursorPosX = x;
             window->wl.cursorPosY = y;
             _glfwInputCursorPos(window, x, y);
+            _glfw.wl.cursorPreviousName = NULL;
             return;
         case topDecoration:
             if (y < _GLFW_DECORATION_WIDTH)