Window options - opzioni per la finestra in Gnome Shell
Window options è una nuova estensione per Gnome Shell utile per aggiungere nuove opzioni alle nostre finestre. Con Window options troveremo nel collegamento della finestra attiva nel pannello alcune opzioni le quali ci permettono di gestire al meglio le finestra. Window options ci permette di minimizzare o massimizzare la finestra inoltre cliccando su restore potremo riposizionarla nella posizione precedente oltre la possibilità di muoverla e ridimensionarla (attraverso move e resize).
Potremo inoltre avere sempre la finestra in primo piano cliccando sul tasto on in “Always on top” oppure avere la finestra visibile in ogni spazio di lavoro cliccando in on su “Alwaya on visible workspace” il tutto dal menu a tendina che possiamo visualizzare cliccando con il tasto destro del mouse sul collegamento della finestra nel pannello di Gnome Shell.
Window options è presente nel portale extensions online di Gnome collegandoci in questa pagina.