mirror of
https://github.com/kovidgoyal/kitty.git
synced 2026-02-01 11:34:59 +01:00
2955c3f7a7
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.
17 lines
490 B
C
17 lines
490 B
C
/*
|
|
* Copyright (C) 2020 Kovid Goyal <kovid at kovidgoyal.net>
|
|
*
|
|
* Distributed under terms of the GPL3 license.
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include "screen.h"
|
|
|
|
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*);
|
|
PyObject* screen_hyperlinks_as_set(Screen *screen);
|
|
void screen_garbage_collect_hyperlink_pool(Screen *screen);
|