8 Commits

Author	SHA1	Message	Date
Felix Roos	18e9ceb501	populate autocomplete with all synonyms ... + properly display synonyms based on label	2023-11-24 09:52:39 +01:00
Felix Roos	458c97b927	list synonyms in Autocomplete	2023-11-24 09:37:26 +01:00
Felix Roos	4fd3e6e99c	fix: entry.name mutation bug	2023-11-24 09:37:11 +01:00
Alexandre G.-Raymond	353333653f	Implement optional hover tooltip with function documentation	2023-11-05 13:00:54 +01:00
Felix Roos	0fb478a7c8	no autocomplete until upstream merge	2023-02-11 20:55:35 +01:00
Felix Roos	9694ecf55b	autocomplete dark / light	2023-02-11 13:02:04 +01:00
Felix Roos	f02a41b675	fix param description	2023-02-09 18:44:41 +01:00
Felix Roos	f497d7b212	reactify autocomplete info	2023-02-09 18:37:29 +01:00