AdamandGitHub a607ef95f9 Merge pull request #682 from Guldoman/indent_refactor ...

Refactor how to get the indentation of a `Doc`

2021-11-27 11:55:36 -05:00

..

highlighter.lua

Merge pull request #681 from Guldoman/prepopulate_highlighter

2021-11-23 15:38:20 -05:00

init.lua

Merge pull request #682 from Guldoman/indent_refactor

2021-11-27 11:55:36 -05: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