Vraisemblablement après une mise à jour de GNOME Shell, 'Put Windows ' l'extension a cessé de fonctionner.
Cela n'a été découvert qu'après avoir essayé de mettre une fenêtre dans un coin (en haut à gauche) de l'écran en utilisant Super +7 (clavier numérique). Le site Web GNOME Shell Extension - Les extensions installées ont affiché ERROR à l'endroit où l'extension est activée ou désactivée.
Comment puis-je résoudre ce problème ?
Ce problème a été signalé sur le site Web de GNOME avec un ticket d'assistance et a été résolu.
Réponse acceptée :
Après avoir signalé le problème, j'ai reçu la réponse suivante de Gnome qui a RÉSOLU le problème :
« La version 27 est désormais inactive et la v26 est la version la plus récente. Veuillez vérifier que vous utilisez la v26"
Donc, j'ai redémarré gnome avec Alt F2 r puis sélectionnez 3.26 comme version d'extension pour la réinstaller.
L'extension fonctionne à nouveau comme il se doit.