Felix Roos 5e7e1ff0e8 Merge pull request #800 from ilesinge/improve_doc ... Improve documentation for synonym functions		2023-11-24 09:57:02 +01:00
..
Autocomplete.jsx	populate autocomplete with all synonyms	2023-11-24 09:52:39 +01:00
CodeMirror6.jsx	add option to disable active line highlighting in Code Settings	2023-11-15 22:38:00 +01:00
Icon.tsx	fix: minirepl styles	2023-02-01 22:30:24 +01:00
MiniRepl.jsx	fix typo	2023-11-15 22:53:56 +01:00
style.css	Implement optional hover tooltip with function documentation	2023-11-05 13:00:54 +01:00
Tooltip.jsx	fix: entry.name mutation bug	2023-11-24 09:37:11 +01:00