From 897144baba90bff8e012c89a0c5b3128dc041ed6 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 2 Jan 2015 09:27:52 -0800
Subject: [PATCH] windowManager: Make sure to reset the resizePopup after using
 it

So that we'll recreate it the next time we want to show it. Otherwise,
we'll try to call things on a half-destroyed ResizePopup and end up
causing errors instead of showing the user their resize popup.
---
 js/ui/windowManager.js | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 56f33a5b0..65ec623c9 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1561,8 +1561,10 @@ const WindowManager = new Lang.Class({
 
             this._resizePopup.set(rect, displayW, displayH);
         } else {
-            if (this._resizePopup)
+            if (this._resizePopup) {
                 this._resizePopup.destroy();
+                this._resizePopup = null;
+            }
         }
     },
 });