Jefferson González 7dc069aa8f Merge pull request #995 from jgmdev/PR/plugins-settings-gui ... plugins: added settings gui support		2022-05-30 16:12:49 -04:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Made wrapping overflow optional	2022-05-30 17:13:21 +01:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Merge pull request #995 from jgmdev/PR/plugins-settings-gui	2022-05-30 16:12:49 -04:00