Now is possible to change the color of inactive 'tab labels' by modifying user preferences. This fixes #4