Guldoman db3643653e Sanitize selections after redo		2021-10-02 22:03:52 +02:00
..
highlighter.lua	Fixed bug in Highlighter.invalidate() when setting first_invalid_line	2020-06-02 22:50:03 +01:00
init.lua	Sanitize selections after redo	2021-10-02 22:03:52 +02:00
search.lua	Add PCRE to support regular expressions	2021-06-02 21:27:00 +02:00
translate.lua	Changed behaviour of home.	2021-08-06 18:08:08 -04:00