Jefferson GonzálezandGitHub 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

..

colors

style: move default colors to its own style file

2022-06-02 19:20:54 -04:00

core

highlighter: autostop co-routine when not needed (#881)

2022-11-06 03:38:10 +01:00

fonts

draw lite-xl icon in TitleView (#1143)

2022-10-10 11:05:30 -04:00

plugins

Fix drawwhitespace drawing lines with different substitution kinds

2022-10-30 02:54:30 +01:00