jgmdev 261292c6aa plugin drawwhitespace: allow newline substitution		2022-10-21 13:53:42 -04:00
..
colors	style: move default colors to its own style file	2022-06-02 19:20:54 -04:00
core	make the default core.ignore_files more specific (#1160)	2022-10-19 22:23:01 -04:00
fonts	draw lite-xl icon in TitleView (#1143)	2022-10-10 11:05:30 -04:00
plugins	plugin drawwhitespace: allow newline substitution	2022-10-21 13:53:42 -04:00