AdamandGitHub 9869484ec6 Merge pull request #683 from Guldoman/named_languages ...

Add names to language plugins

2021-11-22 11:41:49 -05:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Speed up highlighter notify

2021-11-22 06:23:16 +01:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Add names to language plugins

2021-11-21 03:46:43 +01:00