search

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

have corner dodge panel #20

Closed ruvaldak closed 1 year ago

ruvaldak commented 2 years ago

Would love to have the option for the corners to dodge the panel (that is, the top panel in gnome, though I personally have mine on the bottom). As is, with the panel, the corners seem to only apply on the edge that the panel isn't located at (i.e. panel located at the top means rounded corners only apply at the bottom left and bottom right edge). Have the corners be pushed down/up when the panel is visible (so, in a fullscreen app that hides the panel, the corners move back up to the top of the screen).

lennart-k commented 1 year ago

Hey, sorry for taking over a year to reply. I don't really have the capacity to implement this, but feel free to submit a pull request if you are still interested. :)