Media Player Indicator è un’estensione che ci consente di operare sul player preferito direttamente dal pannello di Gnome Shell. Una...
Casuale
estensioni
Google ha rilasciato il nuovo Chrome App Launcher, utile applicazione attraverso la quale possiamo avviare velocemente le applicazioni web preferite...
E’ disponibile per Gnome Shell un’utile applet che ci consente di cambiare / gestire velocemente ingresso e uscita audio. Nei giorni...
In questa guida vedremo come inserire il tasto Sospendi nel menu user e sessione di Gnome Shell. Gnome Shell è...
TaskBar è un’utile estensione per Gnome Shell che ci consente di aggiunge una barra delle applicazioni personalizzabile con tanto di...
Gnome Shell cambia radicalmente la gestione delle finestre confronto Gnome 2 grazie sopratutto alla panoramica delle attività dove possiamo consultare...
