Guldoman f457bc33fa Fix editing after undo not clearing the change id (#1574)		2023-11-29 10:45:53 -05: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	Fix editing after undo not clearing the change id (#1574)	2023-11-29 10:45:53 -05:00
search.lua	Fix selecting newlines with `find-replace:select-add-{next,all}` (#1608)	2023-11-29 10:40:47 -05:00
translate.lua	Changed behaviour of home.	2021-08-06 18:08:08 -04:00