[gnome-shell/gnome-3-18] ActivitiesButton: fix overview being toggled while still animating

[Rui Matos <rtcm src gnome org>]

commit 007ac93cd6fefe76e40ba5583a82a022975427aa
Author: Rui Matos <tiagomatos gmail com>
Date:   Thu Oct 22 18:12:28 2015 +0200

    ActivitiesButton: fix overview being toggled while still animating
    
    Adds the missing checks for whether we should toggle the overview, on
    button and key release.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=756925

 js/ui/panel.js |    6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/panel.js b/js/ui/panel.js
index 3127db0..aad466d 100644
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -459,7 +459,8 @@ const ActivitiesButton = new Lang.Class({
 
         if (event.type() == Clutter.EventType.TOUCH_END ||
             event.type() == Clutter.EventType.BUTTON_RELEASE)
-            Main.overview.toggle();
+            if (Main.overview.shouldToggleByCornerOrButton())
+                Main.overview.toggle();
 
         return Clutter.EVENT_PROPAGATE;
     },
@@ -467,7 +468,8 @@ const ActivitiesButton = new Lang.Class({
     _onKeyRelease: function(actor, event) {
         let symbol = event.get_key_symbol();
         if (symbol == Clutter.KEY_Return || symbol == Clutter.KEY_space) {
-            Main.overview.toggle();
+            if (Main.overview.shouldToggleByCornerOrButton())
+                Main.overview.toggle();
         }
         return Clutter.EVENT_PROPAGATE;
     },