bring rounded corners to top

lennart-k / gnome-rounded-corners

The most useful GNOME extension on the planet. Rounded corners offer innovative advantages like less screen real estate. Saves energy on OLED screens since less pixels are lit.

GNU General Public License v2.0

27 stars 8 forks source link

bring rounded corners to top #22

Closed mikoducky closed 2 years ago

mikoducky commented 2 years ago

Having an issue with this extension. More and more programs are beginning to take priority over the rounded corners when full screen. If I focus on Firefox on my second monitor, rounded corners go away, but focusing on a different window brings them back.

kcpr commented 2 years ago

I assume that You do have an option "Keep Rounded Corners when Maximized" enabled, right?

mikoducky commented 2 years ago

i believe youre thinking of the other rounded extension, rounded window corners, which indeed has that as an option. I do have that selected in the other extension and it works perfectly now. the bonus is that it fixes the windows as well, so these two extensions together do what i want