Hmm, hang on. You're talking about the 1px border for semi-maximized windows.
They're supposed to use the maximized window decorations iirc. I'll double check with John today. In that case the lack of the 1px border would be a light-themes thing.
« Back to merge proposal
Hmm, hang on. You're talking about the 1px border for semi-maximized windows.
They're supposed to use the maximized window decorations iirc. I'll double check with John today. In that case the lack of the 1px border would be a light-themes thing.