mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-09-01 14:53:30 +00:00
Merge branch 'patch-1' of https://github.com/JakeWharton/kitty
This commit is contained in:
commit
4956009759
1 changed files with 1 additions and 1 deletions
|
|
@ -1317,7 +1317,7 @@ class Window:
|
|||
if code == 22:
|
||||
ret = set_pointer_shape(self.screen, value, self.os_window_id)
|
||||
if ret:
|
||||
self.screen.send_escape_code_to_child(ESC_OSC, '22:' + ret)
|
||||
self.screen.send_escape_code_to_child(ESC_OSC, '22;' + ret)
|
||||
|
||||
dirtied = default_bg_changed = False
|
||||
def change(which: DynamicColor, val: str) -> None:
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue