[gnome-shell] calendar: Sync pointer after a message is removed

[Florian Müllner <fmuellner src gnome org>]

commit bb73547acff9d7b42168bb43e3f46f62b65d6deb
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Mar 11 18:26:55 2015 +0100

    calendar: Sync pointer after a message is removed
    
    If a different message ends up underneath the pointer at the end
    of the removal animation, it won't receive an enter event until
    the pointer is moved, and thus its hover state will not be correct.
    Fix it up manually with an explicit pointer sync.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=746019

 js/ui/calendar.js |    7 +++++--
 1 files changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/calendar.js b/js/ui/calendar.js
index 67b757d..e856720 100644
--- a/js/ui/calendar.js
+++ b/js/ui/calendar.js
@@ -1360,15 +1360,18 @@ const MessageListSection = new Lang.Class({
 
         this._messages.delete(message);
 
-        if (animate)
+        if (animate) {
             Tweener.addTween(obj.container, { scale_x: 0, scale_y: 0,
                                               time: MESSAGE_ANIMATION_TIME,
                                               transition: 'easeOutQuad',
                                               onComplete: function() {
                                                   obj.container.destroy();
+                                                  global.sync_pointer();
                                               }});
-        else
+        } else {
             obj.container.destroy();
+            global.sync_pointer();
+        }
     },
 
     clear: function() {