From 867695eb4fcb9e09fcf07c33f155119ae0d87dea Mon Sep 17 00:00:00 2001
From: Adel Gadllah <adel.gadllah@gmail.com>
Date: Sat, 29 Jun 2013 11:47:59 +0200
Subject: [PATCH] workspace: Remove unused zooming property

We no longer support zooming.

https://bugzilla.gnome.org/show_bug.cgi?id=703304
---
 js/ui/workspace.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index dc7e43e7d..05159c840 100644
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -127,7 +127,7 @@ const WindowClone = new Lang.Class({
         if (this._stackAbove == null)
             return null;
 
-        if (this.inDrag || this._zooming) {
+        if (this.inDrag) {
             if (this._stackAbove._delegate)
                 return this._stackAbove._delegate.getActualStackAbove();
             else