jgmdev e0859e1e39 treeview: scale fallback sizes as pointed out by @Guldoman

2022-06-22 01:35:10 -04:00

..

colors

style: move default colors to its own style file

2022-06-02 19:20:54 -04:00

core

CommandView: improve performance by only drawing visible

2022-06-20 10:01:28 -04:00

fonts

Use FiraSans regular for UI

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

plugins

treeview: scale fallback sizes as pointed out by @Guldoman

2022-06-22 01:35:10 -04:00