From f5dd5b9c9d6f8a12e57666e10dbb2d288977bcf5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Tue, 25 Feb 2020 10:42:15 +0100
Subject: [PATCH] topbar: guard against non-existing space

---
 topbar.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/topbar.js b/topbar.js
index 643dd65..ec06a34 100644
--- a/topbar.js
+++ b/topbar.js
@@ -577,6 +577,9 @@ function fixTopBar() {
     let spaces = Tiling.spaces
     if (!spaces)
         return;
+    let space = spaces.monitors.get(panelMonitor);
+    if (!space)
+        return;
     let normal = !Main.overview.visible && !Tiling.inPreview
     let selected = spaces.monitors.get(panelMonitor).selectedWindow
     let focus = display.focus_window