Jefferson González 59a5839ac9 Merge pull request #908 from Guldoman/PR_improve_whitespace ... Improve `drawwhitespace` plugin		2022-06-01 21:59:45 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Added in defaults for dirwatch.	2022-06-01 18:36:00 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Merge pull request #908 from Guldoman/PR_improve_whitespace	2022-06-01 21:59:45 -04:00