+- Forum Informatica Libera (https://www.ergosumracalmuto.org/informaticalibera/forum)
+-- Forum: Sistemi Operativi (https://www.ergosumracalmuto.org/informaticalibera/forum/forumdisplay.php?fid=5)
+--- Forum: Linux (https://www.ergosumracalmuto.org/informaticalibera/forum/forumdisplay.php?fid=6)
+--- Discussione: [Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello (/showthread.php?tid=355)
[Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - Andrea - 06/03/2020
Salve, fino a qualche giorno fa avevo personalizzato il pannello superiore del mio Ubuntu 18.04 gnome, inserendo un selettore spazi di lavoro e cliccandoci sopra potevo cambiare l'area di lavoro senza usare l'angolo alto sinistro e senza cliccare su attività.
Su questo indicatore compariva la scritta 1, 2 o 3 in base a dove lavoravo.
Dopo un aggiornamento andato a male grazie al noto conflitto tra Nvidia e hwe/driver nuveau, ho reinstallato il s.o. e vorrei ripristinare la piccola utility, ma non trovo più come visualizzarla.
Ho gnome tweak tools e dconf-editor installati, ma non riesco proprio a ricordare come ho fatto.
Qualche anima pia? :061:
RE: Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - dxgiusti - 06/03/2020
org/gnome/shell
li dentro cerca workspace
se ti può interessare io ho abilitato la scorciatoia da tastiera >> navigation
RE: Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - Andrea - 06/03/2020
Ciao Mario, nel frattempo "ho studiato"; dovevo abilitare le extensions di gnome per farlo comparire nelle opzioni:
Per il resto, restano valide :click sull'angolo in alto a sinistra che ho abilitato, click su "Attività" e infine Ctrl+Alt+ freccia su oppure giù, come giustamente hai evidenziato.
Grazie sempre :078:
RE: [Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - dxgiusti - 06/03/2020
ottimo. se ti interessa, l'estensione >> walkpaper , ti permette di mettere uno sfondo diverso ad ogni desktop.
RE: [Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - Andrea - 06/03/2020
L'avevo notata, ma parlano di un bug che crea qualche blocco se si arresta il pc partendo da un desktop che non sia il n.1