mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-07-03 19:19:28 +08:00
Use window focus gained/lost events instead of mouse enter/exit events to hide/show the mouse cursor. Fixes #1218
Use window focus gained/lost events instead of mouse enter/exit events to hide/show the mouse cursor. Fixes #1218