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… Lees meer