jgmdev c4f7380a95 language_md: removed scale adjustment code that was needed because of a bug on scale plugin.

2022-03-05 19:13:24 -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 #859 from jgmdev/commit-on-version

2022-03-04 14:18:36 -04:00

fonts

Use FiraSans regular for UI

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

plugins

language_md: removed scale adjustment code that was needed because of a bug on scale plugin.

2022-03-05 19:13:24 -04:00