Adam Harrisonandjgmdev 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