mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-07-13 20:14:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Move hyperlink hashmap to verstable

Browse Source 
Also speedup getting url for hyperlink id by using a second hash map for
it. Change behavior when there are too many hyperlinks to discard new
hyperlinks instead of remapping old hyperlink id and making some old
hyperlink wrong.
This commit is contained in:
Kovid Goyal
2024-07-09 15:11:54 +05:30
parent 9727ea1cac
commit 2955c3f7a7
4 changed files with 116 additions and 128 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
kitty/hyperlink.h
View File

@@ -12,6 +12,5 @@ HYPERLINK_POOL_HANDLE alloc_hyperlink_pool(void);
void free_hyperlink_pool(HYPERLINK_POOL_HANDLE);
void clear_hyperlink_pool(HYPERLINK_POOL_HANDLE);
hyperlink_id_type get_id_for_hyperlink(Screen*, const char*, const char*);
hyperlink_id_type remap_hyperlink_ids(Screen *self, hyperlink_id_type *map);
PyObject* screen_hyperlinks_as_list(Screen *screen);
PyObject* screen_hyperlinks_as_set(Screen *screen);
void screen_garbage_collect_hyperlink_pool(Screen *screen);