Jefferson GonzálezandGitHub 28346f13d9 Merge pull request #984 from jgmdev/PR/tokenizer-fix-utf8-bug ...

tokenizer: fix next utf8 char retrieval bug

2022-05-15 15:28:42 -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 #984 from jgmdev/PR/tokenizer-fix-utf8-bug

2022-05-15 15:28:42 -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