mirror of
https://github.com/brl/mutter.git
synced 2024-11-21 15:40:41 -05:00
When resizing a window with the keyboard, stay one pixels from the edges
2008-02-18 Thomas Thurman <tthurman@gnome.org> * src/core/window.c (warp_grab_pointer): When resizing a window with the keyboard, stay one pixels from the edges so that the cursor remains resting on a window edge even if we escape, whatever side it was on. Closes #436257. svn path=/trunk/; revision=3578
This commit is contained in:
parent
abfccf5002
commit
07939f235f
@ -1,3 +1,11 @@
|
||||
2008-02-18 Thomas Thurman <tthurman@gnome.org>
|
||||
|
||||
* src/core/window.c (warp_grab_pointer): When
|
||||
resizing a window with the keyboard, stay one
|
||||
pixels from the edges so that the cursor remains
|
||||
resting on a window edge even if we escape,
|
||||
whatever side it was on. Closes #436257.
|
||||
|
||||
2008-02-17 Thomas Thurman <tthurman@gnome.org>
|
||||
|
||||
* tools/commit-wrangler.py: added new script to manage commits
|
||||
|
@ -7784,7 +7784,7 @@ warp_grab_pointer (MetaWindow *window,
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_S:
|
||||
*x = rect.width / 2;
|
||||
*y = rect.height;
|
||||
*y = rect.height - 1;
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_N:
|
||||
@ -7798,23 +7798,23 @@ warp_grab_pointer (MetaWindow *window,
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_E:
|
||||
*x = rect.width;
|
||||
*x = rect.width - 1;
|
||||
*y = rect.height / 2;
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_SE:
|
||||
*x = rect.width;
|
||||
*y = rect.height;
|
||||
*x = rect.width - 1;
|
||||
*y = rect.height - 1;
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_NE:
|
||||
*x = rect.width;
|
||||
*x = rect.width - 1;
|
||||
*y = 0;
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_SW:
|
||||
*x = 0;
|
||||
*y = rect.height;
|
||||
*y = rect.height - 1;
|
||||
break;
|
||||
|
||||
case META_GRAB_OP_KEYBOARD_RESIZING_NW:
|
||||
|
Loading…
Reference in New Issue
Block a user