-
Carlos Garnacho authored
And the counterpart to unmaximize when dragging a maximized window, if touch devices aren't going to use EWMH moveresize, having this one at least makes things feel a bit less awkward. https://bugzilla.gnome.org/show_bug.cgi?id=709914
41b73e40