From 5f4e2749a2923d990bb8848905583f51cfa1722a Mon Sep 17 00:00:00 2001
From: verdre <verdre@v0yd.nl>
Date: Wed, 30 Jan 2019 00:17:20 +0100
Subject: [PATCH] overview: Remove unneeded check if primary monitor exists

This check is no longer needed because we're using the stage size
instead of the monitor size here.

https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/374
---
 js/ui/overview.js | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/js/ui/overview.js b/js/ui/overview.js
index 602e190a7..ae60e1a24 100644
--- a/js/ui/overview.js
+++ b/js/ui/overview.js
@@ -387,9 +387,6 @@ var Overview = class {
         // when it is next shown.
         this.hide();
 
-        if (!Main.layoutManager.primaryMonitor)
-            return;
-
         this._coverPane.set_position(0, 0);
         this._coverPane.set_size(global.screen_width, global.screen_height);