[gnome-shell] grabHelper: Consider events that release the grab handled

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

commit f8ea825577e43cdd1ae816509de7e69d1cd083e8
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Mar 22 19:21:04 2013 +0100

    grabHelper: Consider events that release the grab handled
    
    Currently, if a button-press event results in releasing the last modal
    grab (e.g. clicks outside the grabbed actors), we don't consider the
    event handled and allow its emission to continue. If we consider
    dismissing a grab as an action of its own, any additional action
    triggered by the same event becomes an unexpected side effect.
    Tweak the capture handler accordingly.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=696422

 js/ui/grabHelper.js |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 0eed19b..9f1374e 100644
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -355,6 +355,7 @@ const GrabHelper = new Lang.Class({
                 this._ignoreRelease = true;
             let i = this._actorInGrabStack(event.get_source()) + 1;
             this.ungrab({ actor: this._grabStack[i].actor, isUser: true });
+            return true;
         }
 
         return this._modalCount > 0;