Fix unrounded headerbar top corners (and window) forever, hopefully

This commit is contained in:
Eudaimon 2022-10-20 15:54:41 +02:00
parent 83809f0587
commit 683cab12b2
3 changed files with 7 additions and 0 deletions

View File

@ -1613,6 +1613,8 @@ colorchooser .popover.osd { border-radius: 5px; }
.scale-popup button:hover { background-color: rgba(36, 31, 49, 0.1); border-radius: 5px; }
/********************** Window Decorations * */
window.csd { border-radius: 8px 8px 0 0; }
decoration { border-radius: 8px 8px 0 0; border-width: 0px; box-shadow: 0 3px 9px 1px rgba(0, 0, 0, 0.5), 0 0 0 1px rgba(0, 0, 0, 0.23); margin: 10px; }
decoration:backdrop { box-shadow: 0 3px 9px 1px transparent, 0 2px 6px 2px rgba(0, 0, 0, 0.2), 0 0 0 1px rgba(0, 0, 0, 0.18); transition: 200ms ease-out; }

View File

@ -4048,6 +4048,9 @@ colorchooser .popover.osd { border-radius: 5px; }
/**********************
* Window Decorations *
*********************/
window.csd {border-radius: $window_radius $window_radius 0 0;}
decoration {
border-radius: $window_radius $window_radius 0 0;
// lamefun trick to get rounded borders regardless of CSD use

View File

@ -1613,6 +1613,8 @@ colorchooser .popover.osd { border-radius: 5px; }
.scale-popup button:hover { background-color: rgba(36, 31, 49, 0.1); border-radius: 5px; }
/********************** Window Decorations * */
window.csd { border-radius: 8px 8px 0 0; }
decoration { border-radius: 8px 8px 0 0; border-width: 0px; box-shadow: 0 3px 9px 1px rgba(0, 0, 0, 0.5), 0 0 0 1px rgba(0, 0, 0, 0.23); margin: 10px; }
decoration:backdrop { box-shadow: 0 3px 9px 1px transparent, 0 2px 6px 2px rgba(0, 0, 0, 0.2), 0 0 0 1px rgba(0, 0, 0, 0.18); transition: 200ms ease-out; }