21 Dec
2022
21 Dec
'22
8:17 p.m.
Depending on the theme, if there was a header, the border ends up painted lower than it should be, and clipped by the header. 7-Zip file manager, the reason why the offset was added in 5f0dcf79185941c4faff35d1cc9c758160f3a27d in the first place, still renders correctly. Before:  After:  -- https://gitlab.winehq.org/wine/wine/-/merge_requests/1878