Guldoman 11e27c6fda Use new `CommandView:enter` options table		2022-05-30 22:08:13 +02:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Use new `CommandView:enter` options table	2022-05-30 22:08:13 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Use new `CommandView:enter` options table	2022-05-30 22:08:13 +02:00