[gnome-shell] grabHelper: Adjust to property name change

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

commit d85f97c744f5e9eb5abe22a806f5678543b6290e
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Aug 28 19:43:05 2014 +0200

    grabHelper: Adjust to property name change
    
    Commit bbfa616f275cdd41c052 renamed _ignoreRelease to _ignoreUntilRelease
    in some places, but not others, which broke GrabHelper.ignoreRelease().
    Complete the name change to fix the fallout (e.g. app launcher menus
    closing on button release).

 js/ui/grabHelper.js |    6 +++---
 1 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/js/ui/grabHelper.js b/js/ui/grabHelper.js
index 4474e49..a2a1cb5 100644
--- a/js/ui/grabHelper.js
+++ b/js/ui/grabHelper.js
@@ -56,7 +56,7 @@ const GrabHelper = new Lang.Class({
         this._grabStack = [];
 
         this._actors = [];
-        this._ignoreRelease = false;
+        this._ignoreUntilRelease = false;
 
         this._modalCount = 0;
     },
@@ -215,7 +215,7 @@ const GrabHelper = new Lang.Class({
 
         _popGrabHelper(this);
 
-        this._ignoreRelease = false;
+        this._ignoreUntilRelease = false;
 
         Main.popModal(this._owner);
         global.sync_pointer();
@@ -228,7 +228,7 @@ const GrabHelper = new Lang.Class({
     // like the ComboBoxMenu that go away on press, but need to eat
     // the next release event.
     ignoreRelease: function() {
-        this._ignoreRelease = true;
+        this._ignoreUntilRelease = true;
     },
 
     // ungrab: