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