mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-26 02:02:14 +02:00
This matches behavior of other terminals and I dont have a strong preference either way. Fixes #2939
72 KiB
72 KiB