Consenso all'uso dei cookies

SITO1 -- SITO2 -- Forum2 -- CercaGlobale -- Informativa su Cookie e Privacy

Questo Forum1 è in sola lettura -- Usa il Forum2


Valutazione discussione:
  • 0 voto(i) - 0 media
  • 1
  • 2
  • 3
  • 4
  • 5
[RISOLTO] Estensioni per Gnome Shell.
#1
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! Wink
Combinazione dei tasti Ctrl + Special + [freccia in basso].
Cita messaggio
#2
Ho trovato anche l'estensione che cercavo: è Window Options scaricabile da
https://extensions.gnome.org/extension/3...w-options/
Cita messaggio


Vai al forum:


Utenti che stanno guardando questa discussione: 1 Ospite(i)