PM: TabHighlightColor setting hidden, should be changed from the theme...