From 7b1aab3759966021a61c827aa7a2f20d2b5567ed Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Mon, 18 Feb 2013 04:45:06 -0500
Subject: [PATCH] layout: Fix tray barrier never getting destroyed

Due to a typo, we accidentally set trayPressure to null,
making the next branch always fail.

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

diff --git a/js/ui/layout.js b/js/ui/layout.js
index d855ade6b..0e69dfc21 100644
--- a/js/ui/layout.js
+++ b/js/ui/layout.js
@@ -379,7 +379,7 @@ const LayoutManager = new Lang.Class({
 
         if (this._trayBarrier) {
             this._trayBarrier.destroy();
-            this._trayPressure = null;
+            this._trayBarrier = null;
         }
 
         if (this._trayPressure) {