Jefferson González c62cf5ce8c Merge pull request #980 from jgmdev/PR/plugins-load-priority ... plugins: add load priority support with '--priority:###' closes #978		2022-05-31 11:18:37 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Merge pull request #980 from jgmdev/PR/plugins-load-priority	2022-05-31 11:18:37 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Don't check unnamed files in `autoreload` plugin	2022-05-31 01:03:59 +02:00