3 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
gnome-shell-extension-panel-corners-git 6.r0.gc6a046d-1 0 0.00 A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42 igor-dyatlov 2022-10-01 18:46 (UTC)
gnome-shell-extension-panel-corners 6-1 1 0.02 A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42 igor-dyatlov 2022-10-07 16:01 (UTC)
gnome-shell-extension-hidetopbar-git 107.r2.g580726b-1 18 0.04 Gnome extension to hide the top bar except in overview mode amfern 2024-03-26 04:14 (UTC)

3 packages found. Page 1 of 1.