[Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello

[Andrea]

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:

[dxgiusti]

org/gnome/shell
li dentro cerca workspace
se ti può interessare io ho abilitato la scorciatoia da tastiera >> navigation

[Andrea]

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:

[dxgiusti]

ottimo. se ti interessa, l'estensione >> walkpaper , ti permette di mettere uno sfondo diverso ad ogni desktop.

[Andrea]

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