windows/linux: expand window content into the border area - fixes #5423

This commit is contained in:
Eugene Pankov 2022-01-10 19:45:44 +01:00
parent 6159d0ba9a
commit 3a11b51729
No known key found for this signature in database
GPG Key ID: 5896FCBBDD1CF4F4

View File

@ -124,8 +124,13 @@ app-root {
&.platform-win32, &.platform-linux {
border: 1px solid #111;
&>.content .tab-bar .tabs tab-header:first-child {
border-left: none;
&>.content {
margin: -1px; // expand the content into the border
.tab-bar .tabs tab-header:first-child {
border-left: none;
}
}
}
}