From 706a2259b88fb5910b385bff246728ffa84edcb2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Wed, 18 Apr 2018 06:27:34 +0000
Subject: [PATCH] windowManager: Don't animate unmanaged windows on
 (un)minimization

(cherry picked from commit 878946962d7fbc08ca25605f82c47ea0b5db3114)
---
 js/ui/windowManager.js | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index e05700f75..8e7e7a6e5 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1173,6 +1173,10 @@ var WindowManager = new Lang.Class({
                 yScale = geom.height / actor.height;
             } else {
                 let monitor = Main.layoutManager.monitors[actor.meta_window.get_monitor()];
+                if (!monitor) {
+                    this._minimizeWindowDone();
+                    return;
+                }
                 xDest = monitor.x;
                 yDest = monitor.y;
                 if (Clutter.get_default_text_direction() == Clutter.TextDirection.RTL)
@@ -1248,6 +1252,11 @@ var WindowManager = new Lang.Class({
                                 geom.height / actor.height);
             } else {
                 let monitor = Main.layoutManager.monitors[actor.meta_window.get_monitor()];
+                if (!monitor) {
+                    actor.show();
+                    this._unminimizeWindowDone();
+                    return;
+                }
                 actor.set_position(monitor.x, monitor.y);
                 if (Clutter.get_default_text_direction() == Clutter.TextDirection.RTL)
                     actor.x += monitor.width;