A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded corners.

A GNOME shell extension to keep the old topbar corners, which were removed for GNOME 42. It also allows you to customize the rounded corners, ...

3 февр. 2022 г. · GNOME developers have never been able to place windows on the overlapping planes precisely because of these rounded corners. rounded corners on maximized window : r/gnome - Reddit How to make floating round cornered top bar? : r/gnome - Reddit Is it possible to have square, non-rounded corners in Gnome ... Rounded corners on top is missing? [Arch] : r/gnome - Reddit Другие результаты с сайта www.reddit.com

It makes un-gnome-decorated windows stand out instead of blending into a sea of flat rectangles. June 17, 2024

A gnome-shell extensions that try to add rounded corners for all windows. Features: Compatibility: Compiz alike magic lamp effect.

4 февр. 2022 г. · GNOME Shell's unique panel corners are being retired after more than a decade of decorating peoples desktops.

The configuration file locks down the /org/gnome/desktop/interface/enable-hot-corners key for all users. This key controls whether the hot corner is enabled.

Excellent extension. It was perfect for Zorin 16.3 with gnome 38.6....super happy with the result...all the edges of the desktop were rounded. Congratulations ...

20 июн. 2024 г. · Make the running-app/mouse-over app highlight boxes have rounded edges and remove the running-app/mouse-over double effect in the Dash To Panel extension.

8 сент. 2021 г. · I want the panel to be detached from the screen edge and make the edges rounded. Until this feature should be available one day for Dash-to-panel.