Presumibilmente dopo un aggiornamento a GNOME Shell, "Inserisci Windows ' estensione ha smesso di funzionare.
Questo è stato scoperto solo dopo aver provato a mettere una finestra in un angolo (in alto a sinistra) dello schermo usando Super +7 (tastiera numerica). Il sito Web dell'estensione della shell GNOME:le estensioni installate hanno mostrato ERRORE nel punto in cui l'estensione è stata attivata o disattivata.
Come posso risolvere questo problema?
Ciò è stato segnalato sul sito Web di GNOME con un ticket di supporto ed è stato risolto.
Risposta accettata:
Dopo aver segnalato il problema, ho ricevuto la seguente risposta da Gnome che ha RISOLTO il problema:
“La versione 27 è ora inattiva e la v26 è la versione più recente. Per favore controlla che stai usando la v26”
Quindi, ho riavviato gnome con Alt F2 r e quindi selezionato 3.26 come versione dell'estensione per reinstallarlo.
L'estensione ora funziona di nuovo come dovrebbe.