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

Additional rounded corner on panel #24

Closed JustCryen closed 2 years ago

JustCryen commented 2 years ago

Is there a way to add rounded corners to a panel itself? I think gnome had it in the previous version but it was removed and I was wondering if this extension can fix this. image It would be nice if this option was not mandatory (additional toggle in settings) and since the corner is visible in the overview (which is nice) this would be an additional corner for the screen-wide corner. (not a replacement) image

kcpr commented 2 years ago

You can have it with that extension: https://extensions.gnome.org/extension/4805/panel-corners/ (see the settings if the color will not match your panel one). I think this one does not support it.