jgmdev f0cc973e38 treeview: also handle focus change from mouse and then commandview

2022-03-20 00:53:13 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Move cursor to the beginning or the end of its selection

2022-03-20 04:28:26 +01:00

fonts

Use FiraSans regular for UI

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

plugins

treeview: also handle focus change from mouse and then commandview

2022-03-20 00:53:13 -04:00