Pablo Vazquez 87a6aab251 UI: Fix hard to see unselected channel name in Graph Editor. ...

And unify colors with the Dope Sheet.

2018-11-07 00:43:39 +01:00

..

userdef_default_theme.c

UI: Fix hard to see unselected channel name in Graph Editor.

2018-11-07 00:43:39 +01:00