|
[RISOLTO] Estensioni per Gnome Shell.
|
|
30-06-2012, 11:57
(Questo messaggio è stato modificato l'ultima volta il: 30-06-2012 17:00 da arpimar.)
Messaggio: #1
|
|||
|
|||
|
[RISOLTO] Estensioni per Gnome Shell.
Dopo avere "studiato" per un po' Unity, da oggi passo a Gnome Shell.
Qui, aiutato un po' dai feed ai quali sono iscritto e un po' da Ubuntu Facile, mi sono buttato a installare qualche estensione. Ho installato anche Maximus che elimina la Barra del Titolo delle finestre quando sono massimizzate, però mi sembra di ricordare da qualche parte, non ricordo dove, che consigliavano di installare insieme a Maximus anche un'altra estensione che ampliava il menù a tendina che scende dall'icona della finestra aperta (quella dopo Attività). Al momento se clicco lì l'unica opzione è Chiudi. Qualcuno mi può aiutare? Ho trovato il trucco!  Combinazione dei tasti Ctrl + Special + [freccia in basso]. |
|||
|
|
30-06-2012, 17:55
Messaggio: #2
|
|||
|
|||
|
RE: [RISOLTO] Estensioni per Gnome Shell.
Ho trovato anche l'estensione che cercavo: è Window Options scaricabile da
https://extensions.gnome.org/extension/3...w-options/ |
|||
|
|
|
« Precedente | Successivo »
|
Utente(i) che stanno guardando questa discussione: 1 Ospite(i)