mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-08-31 14:22:33 +00:00
Add a new option :opt:pointer_shape_when_grabbed that allows you to control the mouse pointer shape when the terminal programs grabs the pointer
Fixes #1808
This commit is contained in:
parent
4e427d05b7
commit
87ed774cb4
5 changed files with 33 additions and 3 deletions
|
|
@ -14,6 +14,10 @@ To update |kitty|, :doc:`follow the instructions <binary>`.
|
|||
|
||||
- Document the kitty remote control protocol (:iss:`1646`)
|
||||
|
||||
- Add a new option :opt:`pointer_shape_when_grabbed` that allows you to control
|
||||
the mouse pointer shape when the terminal programs grabs the pointer
|
||||
(:iss:`1808`)
|
||||
|
||||
- Add an option :opt:`terminal_select_modifiers` to control which modifiers
|
||||
are used to override mouse selection even when a terminal application has
|
||||
grabbed the mouse (:iss:`1774`)
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue