This is an extremely niche feature, and conflicts with the rest of our interface being consistent about not allowing resizing while tiled or maximized.
91b7ded Remove the ability to grab resize unmaximize
src/core/display-private.h | 3 -
src/core/display.c | 1 -
src/core/window.c | 146 +++-----------------------------------------
3 files changed, 8 insertions(+), 142 deletions(-)
Upstream: git.gnome.org