mirror of
https://github.com/kovidgoyal/kitty
synced 2026-07-19 23:14:55 +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