This commit is contained in:
Kovid Goyal
2023-10-15 21:48:57 +05:30
parent 17ce474b79
commit 10a2f246bc

View File

@@ -1741,7 +1741,7 @@ def set_pointer_shape(screen: Screen, value: str, os_window_id: int = 0) -> str:
value = value[1:]
if op in '=>':
for v in value.split(','):
if v:
if v or op == '=':
screen.change_pointer_shape(op, v)
if os_window_id and current_focused_os_window_id() == os_window_id:
update_pointer_shape(os_window_id)