Guldoman b1a647814f Fix editing after undo not clearing the change id (#1574)		2023-11-30 11:39:41 +08:00
..
highlighter.lua	Allow `tokenizer` to pause and resume in the middle of a line (#1444)	2023-08-19 12:39:22 +08:00
init.lua	Fix editing after undo not clearing the change id (#1574)	2023-11-30 11:39:41 +08:00
search.lua	Fix selecting newlines with `find-replace:select-add-{next,all}` (#1608)	2023-11-30 11:39:27 +08:00
translate.lua	Changed behaviour of home.	2021-08-06 18:08:08 -04:00