Guldoman e7c4bdfe8e Make Doc:get_selection[s] return if the selection was actually sorted

2022-07-11 05:39:55 +02:00

..

highlighter.lua

Add Highlighter:update_notify to keep track of retokenized lines

2022-06-11 06:21:55 +02:00

init.lua

Make Doc:get_selection[s] return if the selection was actually sorted

2022-07-11 05:39:55 +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