No matches were found for subject:"\[Bug 160311\] Re\: Resizing windows by grabbing window borders is difficult \[please no more comments; patches welcome\]"