In questa guida vedremo come migliorare l’integrazione di Mozilla Firefox in Gnome Shell attraverso alcuni add-on ed estensioni dedicati. Firefox...
Vecchi
estensioni
Simple Font Manager è una nuova estensione per Gnome Shell con la quale possiamo operare sui gruppi di font attivandoli...
E’ disponibile la nuova estensione EasyScreenCast che ci consente di gestire gli ScreenCast in GNOME Shell il tutto direttamente dal...
In questa guida vedremo come ripristinare il buon vecchio User Menu nel nuovo Gnome Shell 3.10 grazie al progetto Shell...
Per gli utenti Gnome arriva il nuovo menu Dexi in grado di fornire un più facile accesso alle applicazioni installate...
OpenDocument Reader è un’utile estensione per Google Chrome e Chromium con la quale potremo visualizzare documenti nel formato odt e...
