Kategorien: Desktop-Erweiterungen, Gnome-Shell-Erweiterungen
- Startseite
- Linux
- Extension Shortcuts
- Herunterladen ...
Extension Shortcuts 1.0
Erweiterung Shortcuts ist ein GNOME-Shell-Erweiterung, mit der Benutzer die Kontrolle über ihre installierten Add-ons zu nehmen, so dass sie leicht Verlängerungseinstellungen ändern, neue Erweiterungen installieren oder suchen Sie nach neuen befähigt.Um...