Guldoman 92db048e7c Use plain search by default in `search.find`		2021-10-25 00:18:20 +02:00
..
highlighter.lua	Improve highlither for document edits	2021-10-08 21:28:27 +02:00
init.lua	Improve highlither for document edits	2021-10-08 21:28:27 +02: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