mirror of
https://github.com/brl/mutter.git
synced 2024-11-21 23:50:41 -05:00
Allow users to move the window around immediately after double-clicking to
2004-12-28 Elijah Newren <newren@gmail.com> Allow users to move the window around immediately after double-clicking to shade (#90290) * src/display.c (event_callback): only end the grab op if either there is no frame or else the frame is not mapped
This commit is contained in:
parent
4e636d0951
commit
78e54ee7ee
@ -1,3 +1,11 @@
|
|||||||
|
2004-12-28 Elijah Newren <newren@gmail.com>
|
||||||
|
|
||||||
|
Allow users to move the window around immediately after
|
||||||
|
double-clicking to shade (#90290)
|
||||||
|
|
||||||
|
* src/display.c (event_callback): only end the grab op if either
|
||||||
|
there is no frame or else the frame is not mapped
|
||||||
|
|
||||||
2004-12-27 Elijah Newren <newren@gmail.com>
|
2004-12-27 Elijah Newren <newren@gmail.com>
|
||||||
|
|
||||||
Focus windows that manually position themselves too (fixes
|
Focus windows that manually position themselves too (fixes
|
||||||
|
@ -1909,7 +1909,8 @@ event_callback (XEvent *event,
|
|||||||
if (window)
|
if (window)
|
||||||
{
|
{
|
||||||
if (display->grab_op != META_GRAB_OP_NONE &&
|
if (display->grab_op != META_GRAB_OP_NONE &&
|
||||||
display->grab_window == window)
|
display->grab_window == window &&
|
||||||
|
((window->frame == NULL) || !window->frame->mapped))
|
||||||
meta_display_end_grab_op (display, CurrentTime);
|
meta_display_end_grab_op (display, CurrentTime);
|
||||||
|
|
||||||
if (!frame_was_receiver)
|
if (!frame_was_receiver)
|
||||||
|
Loading…
Reference in New Issue
Block a user