Jefferson González 9c7304f555 highlighter: autostop co-routine when not needed (#881) ... * highlighter: autostop co-routine when not needed * applied @Guldoman suggestions		2022-11-06 03:38:10 +01:00
..
highlighter.lua	highlighter: autostop co-routine when not needed (#881)	2022-11-06 03:38:10 +01:00
init.lua	…
search.lua	…
translate.lua	…