Simple Font Manager è una nuova estensione per Gnome Shell con la quale possiamo operare sui gruppi di font attivandoli...
Ultimi
estensioni
In questa guida vedremo come migliorare l’integrazione di Mozilla Firefox in Gnome Shell attraverso alcuni add-on ed estensioni dedicati. Firefox...
Per gli utenti Gnome arriva il nuovo menu Dexi in grado di fornire un più facile accesso alle applicazioni installate...
Google ha rilasciato il nuovo Chrome App Launcher, utile applicazione attraverso la quale possiamo avviare velocemente le applicazioni web preferite...
E’ disponibile la nuova estensione EasyScreenCast che ci consente di gestire gli ScreenCast in GNOME Shell il tutto direttamente dal...
GNOME Shell Skype integration: una nuova estensione con la quale potremo integrare Skype all’interno dell’ambiente desktop Gnome Shell. Anche se...
