Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Make the windows' upper corners' resize zone bigger #2682

Closed
geoffm opened this issue Dec 3, 2013 · 4 comments
Closed

Make the windows' upper corners' resize zone bigger #2682

geoffm opened this issue Dec 3, 2013 · 4 comments

Comments

@geoffm
Copy link

geoffm commented Dec 3, 2013

The corner resize zone, where you have the diagonal resize cursor which allows you to left-click and resize vertically and horizontally at the same time, is extremely small in the upper corners, forcing the user to either use the keyboard modifier or to resize vertical and horizontal separately. Play with the cursor around the upper right corner and you'll see what I mean. Maybe it's not a problem of the corner's "size" but a matter of switching between vertical-resize and horizontal-resize while it should just be a 2D-resize in the whole area.

@artik
Copy link

artik commented Dec 4, 2013

geoffm, if you use the Alt key+ middle click on your mouse, you have a much much bigger area to resize it. Since I use this hotkey to move / resize windows, I totaly love it. But maybe using hot keys is not your cup of tea.

@VolMi
Copy link

VolMi commented Dec 5, 2013

Alt + middle click is okay, but I would prefer a more tolerant behaviour of the default approach as well.

@artik
Copy link

artik commented Dec 6, 2013

I agree VolMi !

@geoffm
Copy link
Author

geoffm commented Dec 7, 2013

I know I can use hotkeys, and it's what I do. It's just that sometimes I don't have my left hand near the alt key and I try resizing the window using the border. I end up screwing around trying to get the diagonal arrow for a few seconds before giving up and using the hotkey. It's a bit frustrating and it makes the window manager look bad for new users who are used to functionnal resizing corners and probably don't know there's a hotkey.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants