GNOME
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
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
GNOME 45 komt met mooie verbeteringen. Helaas ook met een verstorende wijziging voor de extensies.