From acee50af7dd6e8f4bea30314bc9dc5f8d212d2f6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 23 Jul 2015 16:00:55 +0200
Subject: [PATCH] window-list: Handle the no-monitor case

---
 extensions/window-list/extension.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extensions/window-list/extension.js b/extensions/window-list/extension.js
index 9347813..28feda6 100644
--- a/extensions/window-list/extension.js
+++ b/extensions/window-list/extension.js
@@ -979,6 +979,8 @@ const WindowList = new Lang.Class({
 
     _updatePosition: function() {
         let monitor = Main.layoutManager.primaryMonitor;
+        if (!monitor)
+            return;
         this.actor.width = monitor.width;
         this.actor.set_position(monitor.x, monitor.y + monitor.height - this.actor.height);
     },
-- 
2.4.3