As part of every GNOME release (spanning GNOME Shell, Mutter, core apps, etc) is an official set of GNOME Shell extensions. This is non-default package is “a collection of extensions providing additional and optional functionality to GNOME Shell” that are developed and maintained by GNOME developers.
|
|