Jefferson González 0a66163c10 Merge pull request #987 from jgmdev/PR/fix-object-is-add-extends ... object: made is() stricter and added extends()		2022-05-15 15:32:01 -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 #987 from jgmdev/PR/fix-object-is-add-extends	2022-05-15 15:32:01 -04:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Made sure we redrew things, added in a contingency in 'save' for times when we load a non-existent file, and added some checks.	2022-05-15 15:25:02 -04:00