Extension Manager 0.7 maakt beheer van GNOME-extensies nog makkelijker

Er is een nieuwe versie verschenen van Extension Manager, het programma waarmee je GNOME-extensies rechtstreeks vanaf het bureaublad kunt installeren en beheren. Met versie 0.7.0 wordt het aanpassen van je desktop weer een stuk eenvoudiger gemaakt, zonder dat je daar een webbrowser voor nodig hebt.

De opvallendste toevoeging is de directe koppeling met het zoeksysteem van GNOME zelf. Zodra je deze optie inschakelt in de systeeminstellingen, kun je de voorkeuren van geïnstalleerde uitbreidingen direct vinden en openen via het Activiteiten-overzicht. Daarnaast tonen de pagina’s met extensiedetails nu meer achtergrondinformatie en zijn verschillende functies hersteld die in eerdere versies haperden.

In de praktijk betekent dit vooral dat je sneller bij de juiste instellingen terechtkomt. Waar je voorheen eerst het beheerprogramma moest openen om een extensie aan te passen, typ je nu simpelweg de naam van de uitbreiding in het algemene zoekvenster van je bureaublad om direct naar het configuratiemenu te gaan.

Met deze update wordt Extension Manager nog wat completer als alternatief voor de officiële website van GNOME Extensions. Het maakt het aanpassen van je werkomgeving net weer even overzichtelijker en prettiger voor het dagelijks gebruik.

Bron: https://www.omgubuntu.co.uk/2026/11/gnome-extension-manager-0-7-released