User Agent Overrider è un’utile add-on per Mozilla Firefox con il quale potremo cambiare velocemente l’user agent del nostro browser...
Vecchi
estensioni
E’ disponibile per Gnome Shell un’utile applet che ci consente di cambiare / gestire velocemente ingresso e uscita audio. Nei giorni...
Gnome Shell: disponibile la nuova versione di Alternative Activities e il menu di elementary OS Luna
Sono disponibili per Gnome Shell due interessanti estensioni: Alternative Activities 3 e Luna Applications Menu Gnome Shell è un’ambiente desktop moderno e...
I developer del clipboard manager GPaste hanno rilasciato la nuova versione 3.8 che include nuove features e un’interfaccia grafica rivisitata....
In questa semplice guida andremo ad analizzare le 10 più conosciute ed utilizzate estensioni per il desktop environment Gnome Shell....
OpenWeather è un’interessante estensione per Gnome Shell che ci consente di avere le previsioni del tempo aggiornate grazie al servizio...
