Hi, that extension does not work on a new install of Gnome Desktop. Has anyone had a similar experience? Thanks.
It’s not just you. This works - gnome-shell-extension-pop-shell-git
gnome-shell-extension-pop-shell-git is for an entirely different purpose: a tiled screen.
shelltile is a very user friendly extension for re-sizing windows when thrown to a hot corner.
what is the reason for it not working as expected?
Any ideas how to fix it? Thanks!
filed as issue