gnomeExtensions.panel-corners 15 single
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, even if you use GNOME 40 or 41.
- Name
gnome-shell-extension-panel-corners-15- Package set
- gnomeExtensions
- Homepage
- https://extensions.gnome.org/extension/4805/panel-corners/
- License
- GPL-2.0-or-later
- Source
- pkgs/desktops/gnome/extensions/buildGnomeExtension.nix:61
- Derivation
/nix/store/bnxl6pxvcxmvksvp642j5qiwn77vn2mr-gnome-shell-extension-panel-corners-15.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| honnip | Jung seungwoo | GitHub · me@honnip.page · @honnip:matrix.org | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| glib 2.88.3 | nativeBuildInputs | 23,076 | team-only outdated | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,086 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.