Hide the 'Documents' label when none of the associated buttons are visible.

Authored by zwabel on Apr 22 2013, 10:48 PM.

Description

Hide the 'Documents' label when none of the associated buttons are visible.

In that case, it just clutters up the tooltip.

Details

Committed
zwabelApr 22 2013, 10:48 PM
Parents
R32:93b71dcb609d: Use the same colors for working-set icons whether they are active or inactive.
Branches
Unknown
Tags
Unknown