Guldomanandjgmdev fb4a5f3828 Add command to create a new named Doc

2022-03-18 00:34:15 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Add command to create a new named Doc

2022-03-18 00:34:15 -04:00

fonts

Use FiraSans regular for UI

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

plugins

Merge pull request #883 from jgmdev/detectindent-improvements

2022-03-17 18:29:46 -04:00