Description
Distribution (run cat /etc/os-release):
Pop!_OS 20.04
Related Application and/or Package Version (run apt policy pop-shell or provide the latest commit if building locally):
0b31993
Issue/Bug Description:
Windows can be dragged while in window management mode
Steps to reproduce (if you know):
Super+Enter to enter window management mode, then drag a window with the mouse, either by the title bar (if it is exposed beneath the edge of the blue overlay) or by holding Super while dragging. The window will move, but the blue overlay remains in the place it was before.
At this point, hitting Esc leaves the window in the place I dragged it, and hitting Enter moves the window to where the blue overlay is
Expected behavior:
I think we should probably inhibit window dragging with the mouse while in window management mode. The blue overlay prevents mouse drags on the title bar, but due to #6 I can sometimes grab the title bar anyway if I don't have tiling on. Super drags work through the blue overlay anyway.
Other Notes: