Pablo Vazquez 52ebbeedc9 UI: Default theme minor tweaks ...

Darker color for group nodes and minor adjustments

2018-07-15 04:44:45 +02:00

..

userdef_default_theme.c

UI: Default theme minor tweaks

2018-07-15 04:44:45 +02:00