mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-16 05:24:20 +02:00
Store by id not pointer since the pointers are not stable. And use two hash maps by path and by id for fast lookup.
791 B
791 B