Voor de Gnome gebruikers. Dit is wel een toffe site.
Eenvoudiger kan niet
https://extensions.gnome.org/
Zeker een handige site. Wat mij betreft maar één nadeel: lang niet alles werkt meer bij een “major” update van GNOME3, bijv. van 3.6 naar 3.8.
Zou bijna zeggen een noodzakelijke site voor Gnome-gebruikers
Net zo noodzakelijk als Gnome-Tweak-Tool (Zit volgens mij standaard in de openSUSE installatie)
Yep, wordt standaard geïnstalleerd. Alt-F2 en dan
gnome-tweak-tool