Adam Harrison 173370694e Split out reload functionality to actual document, and added in a thread to check the document, in the cases where it wouldn't be covered by dirwatch.		2022-05-15 15:24:17 -04:00
..
highlighter.lua	Merge pull request #681 from Guldoman/prepopulate_highlighter	2021-11-23 15:38:20 -05:00
init.lua	Split out reload functionality to actual document, and added in a thread to check the document, in the cases where it wouldn't be covered by dirwatch.	2022-05-15 15:24:17 -04:00
search.lua	Use plain search by default in `search.find`	2021-10-25 00:18:20 +02:00
translate.lua	Changed behaviour of home.	2021-08-06 18:08:08 -04:00