Prevent border clipping in tabbed mode #8971
Description
I propose to (optionally) draw the border around all 4 edges when a window is in the tabbed mode.
Before
After
After, with an enhancement
The last two images are mockups. Personally, I find the last one rather desirable as it makes more obvious as to which tab is active. Alternative render:
