This commit to try fixing all troubles against the tabbar highlight feature.

Courtesy fix patch from the man implementing the feature: Johannes Troscher.
Many Thanks for.

Bug Reporters: please, let us know if this really fix it!