@@ -33,6 +33,7 @@ public class Gala.WindowDragProvider : Object {
3333 if (grab_op != MOVING ) {
3434 return ;
3535 }
36+
3637#if HAS_MUTTER48
3738 unowned var cursor_tracker = display. get_compositor (). get_backend (). get_cursor_tracker ();
3839#else
@@ -43,22 +44,23 @@ public class Gala.WindowDragProvider : Object {
4344 cursor_tracker. get_pointer (out pointer, null );
4445
4546 foreach (unowned var window in display. list_all_windows ()) {
46- if (window. window_type == DOCK ) {
47+ if (window. window_type != DOCK ) {
48+ continue ;
49+ }
4750 var buffer_rect = window. get_buffer_rect ();
4851#if HAS_MUTTER48
49- if (buffer_rect. contains_pointf (pointer. x, pointer. y)) {
52+ if (buffer_rect. contains_pointf (pointer. x, pointer. y)) {
5053#else
51- if (buffer_rect. contains_rect ({ (int ) pointer. x, (int ) pointer. y, 0 , 0 })) {
54+ if (buffer_rect. contains_rect ({ (int ) pointer. x, (int ) pointer. y, 0 , 0 })) {
5255#endif
53- if (previous_dock_window != window) {
54- notify_enter (grabbed_window. get_id ());
55- previous_dock_window = window;
56- } else {
57- notify_motion ((int ) pointer. x - buffer_rect. x, (int ) pointer. y - buffer_rect. y);
58- }
59-
60- return ;
56+ if (previous_dock_window != window) {
57+ notify_enter (grabbed_window. get_id ());
58+ previous_dock_window = window;
59+ } else {
60+ notify_motion ((int ) pointer. x - buffer_rect. x, (int ) pointer. y - buffer_rect. y);
6161 }
62+
63+ return ;
6264 }
6365 }
6466
0 commit comments