Guldoman 331b8e90ec Select a new primary node when closing the current one ...

The new primary node can be any non-locked leaf node that isn't already 
primary.

2021-10-23 03:34:24 +02:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Select a new primary node when closing the current one

2021-10-23 03:34:24 +02:00

fonts

Use FiraSans regular for UI

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

plugins

Fix problem with treeview keeping the editor busy

2021-10-21 23:18:31 +02:00