AdamandGitHub 40f698e4bf Merge pull request #625 from Guldoman/allow_closing_primary ...

Select a new primary node when closing the current one

2021-11-07 15:10:19 -05:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Merge pull request #625 from Guldoman/allow_closing_primary

2021-11-07 15:10:19 -05:00

fonts

Use FiraSans regular for UI

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

plugins

Fix python docstring highlighting

2021-10-23 15:01:16 +02:00