Madbiologist: you write "This bug is about the default resize grab handle at window borders being too small".
Can I gently suggest you read the title of this problem report?
"Resizing windows by grabbing window borders is difficult"
Window borders. Nothing about a resize grab handle (which I assume is the region in the lower right of some desktop's windows, is that so?). And also read the substance of post #1. It's about window borders.
I'm sorry, but if you think the solution to a request for set-ability of window borders is to provide a feature in one corner of the window, I feel you've misunderstood. No doubt that feature is indeed a useful fix for some bugs and feature requests, but not, I believe, this one.
So I would request this bug's status be changed. Fixed is not correct.
Madbiologist: you write "This bug is about the default resize grab handle at window borders being too small".
Can I gently suggest you read the title of this problem report?
"Resizing windows by grabbing window borders is difficult"
Window borders. Nothing about a resize grab handle (which I assume is the region in the lower right of some desktop's windows, is that so?). And also read the substance of post #1. It's about window borders.
I'm sorry, but if you think the solution to a request for set-ability of window borders is to provide a feature in one corner of the window, I feel you've misunderstood. No doubt that feature is indeed a useful fix for some bugs and feature requests, but not, I believe, this one.
So I would request this bug's status be changed. Fixed is not correct.