mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-05-13 16:37:27 +00:00
Use window focus gained/lost events instead of mouse enter/exit events to hide/show the mouse cursor. Fixes #1218 |
||
|---|---|---|
| .. | ||
| _static | ||
| _templates | ||
| kittens | ||
| screenshots | ||
| binary.rst | ||
| build.rst | ||
| changelog.rst | ||
| conf.py | ||
| conf.rst | ||
| faq.rst | ||
| graphics-protocol.rst | ||
| index.rst | ||
| installer.py | ||
| installer.sh | ||
| invocation.rst | ||
| key-encoding.rst | ||
| Makefile | ||
| performance.rst | ||
| pipe.rst | ||
| protocol-extensions.rst | ||
| remote-control.rst | ||
| support.html | ||
| support.rst | ||