show private/extension/inherited button should be permanent

[cjolif]

When I choose one of those (like hiding inherited) and navigate to another class this is losing my preference. Usually when I should a preference I like it to be sticky.

[wkeese]

I can see the argument for that. One gotcha is that the buttons are currently on a per-tab basis, allowing different settings for different tabs. If they were sticky probably we would the buttons to appear to be global for the page, and pressing a buttons affects every single tab, right?

[cjolif]

in that case yes the buttons would need to be shared.