Extension Manager

Met de Extension Manager vindt en beheert u GNOME-shelluitbreidingen. Daarnaast kunt u checken of de door u gebruikte extensies ook werken met nieuwere versies van GNOME.

GNOME 45

GNOME 45 komt met mooie verbeteringen. Helaas ook met een verstorende wijziging voor de extensies.