Categorieën: Verhogingen van de Desktop, Gnome shell extensies
- Startpagina
- Linux
- Extension Shortcuts
- Het downloaden van ...
Extension Shortcuts 1.0
Uitbreiding Shortcuts is een GNOME Shell-extensie die stelt gebruikers in staat om controle te nemen over hun geïnstalleerde add-ons, waardoor ze extensie voorkeuren gemakkelijk veranderen, installeer nieuwe extensies of blader naar nieuwe.Om deze...