persistent shading of tab on back

[yang-yangfeng]

If I go to a tabbed page and click on a new tab, then go back, we get the expected result of going back to the previous (i.e. first) tab. However, the tab we just left (i.e. second) tab is still shaded gray. If you click anywhere on the screen this goes away. Forward changes nothing. In the case where there are three tabs and you click two different ones in succession, then hit back twice in succession, the last clicked tab remains shaded.

Minor visual bug that does not seem to affect performance.

[yang-yangfeng]

I should say that the gray shading is the same shading that occurs when you hover over an unclicked tab.