GUI: Match tab body style across all Options tabs (Global & Game).

[macca8]

The recent addition of the Cloud tab and updated Graphics tabs (Global & Game) has introduced style enhancements not yet available for other tabs.

These include:

• a higher top edge with rounded top corners.
• a better proportioned tab header (the tab name) as a result of the raised edge.
• a broader shadow along the bottom edge.

The unwanted side effect of these changes is the apparent shifting of the tab body (though the contents are unaffected) when switching from a new style tab to an old style tab.

In my opinion, I’d recommend going with the new style, since it not only matches the tab’s top & bottom edges, it’s also consistent with the styling of the parent container that holds all the tabs.

The only blemish with the new style is a line now separates the header from the body when the tab is selected.

It’s also clear that the Cloud & Graphics tab styles have been imported from the same source (criezy’s personal build?) since they’re a perfect match, so perhaps the other tabs are already available, but just not implemented.

This request applies to all tabs associated with either Global Options or Game Options.

Thanks for your consideration.

Current Daily Build: 2.1.0git3151-gde886a8b58(1 August 2018)
Platform: Intel Mac (OS X 10.6.8, 10.11.6)

[macca8]

New styling

[macca8]

Old styling (all tabs other than Graphics & Cloud).

[bgK]

The background of the tab / scroll-container was being drawn twice. I changed it to being drawn once only in commit 7c570d9b253206e9, restoring the non-scrolling appearance.

[macca8]

Thanks bgK.
Always intrigued by your ability to unravel seemingly obscure root causes for issues.