From 5e38af6d24e3642503b196041e1229534cdb0d16 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 19 Jun 2018 10:19:17 +0530
Subject: [PATCH] When closing a kitty window reset the mouse cursor to its
 default shape and ensure it is visible. Fixes #655

---
 kitty/glfw.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/kitty/glfw.c b/kitty/glfw.c
index 3327721b1..bf3365250 100644
--- a/kitty/glfw.c
+++ b/kitty/glfw.c
@@ -515,6 +515,9 @@ create_os_window(PyObject UNUSED *self, PyObject *args) {
 void
 destroy_os_window(OSWindow *w) {
     if (w->handle) {
+        // Ensure mouse cursor is visible and reset to default shape, needed on macOS
+        show_mouse_cursor(w->handle);
+        glfwSetCursor(w->handle, NULL);
         glfwDestroyWindow(w->handle);
         if (current_os_window_ctx == w->handle) current_os_window_ctx = NULL;
     }