mirror of
https://github.com/kovidgoyal/kitty
synced 2026-06-06 09:15:57 +02:00
Dont store full rendered lines, instead fill them up at actual draw time. Makes implementing mouse selection and searching more robust.
Dont store full rendered lines, instead fill them up at actual draw time. Makes implementing mouse selection and searching more robust.