GuldomanandFrancesco 3e6afeccc0 Remove line from longest lines table only if needed ...

Checking if a line needs to be removed is faster than just trying to 
remove it.

2021-08-30 17:58:22 +02:00

..

highlighter.lua

Fixed bug in Highlighter.invalidate() when setting first_invalid_line

2020-06-02 22:50:03 +01:00

init.lua

Remove line from longest lines table only if needed

2021-08-30 17:58:22 +02:00

search.lua

Add PCRE to support regular expressions

2021-06-02 21:27:00 +02:00

translate.lua

Changed behaviour of home.

2021-08-06 18:08:08 -04:00