![]() |
[Risolto] - Ubuntu 18.04 gnome - selettore spazi lavoro sul pannello - Versione stampabile +- 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 |