Guldoman f69f43c3f5 Mark unsaved named files as dirty (#1598)		2023-10-18 06:45:31 +02:00
..
highlighter.lua	Use proper timeouts for coroutines that don't need to wait (#1467)	2023-08-04 09:40:02 -04:00
init.lua	Mark unsaved named files as dirty (#1598)	2023-10-18 06:45:31 +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