jgmdev 620b669517 statusview: added ability to hide and commands ...

Also fixed the right panel not been draggable.

2022-03-11 17:23:16 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

statusview: added ability to hide and commands

2022-03-11 17:23:16 -04:00

fonts

Use FiraSans regular for UI

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

plugins

plugin treeview: skip rootview events if not visible.

2022-03-07 16:52:32 -04:00