From ce49cfca5ec5418c1e902ee80d42c255b9fba845 Mon Sep 17 00:00:00 2001
From: Philipp Unger <philipp.unger.1988@gmail.com>
Date: Wed, 23 Mar 2022 13:42:07 +0100
Subject: [PATCH] update a gnome version check to work with final gnome 42

---
 overview.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/overview.js b/overview.js
index 0e74856..13a30cb 100644
--- a/overview.js
+++ b/overview.js
@@ -589,8 +589,9 @@ var dtpOverview = Utils.defineClass({
                     workAreaBox.set_origin(startX, startY);
                     workAreaBox.set_size(workArea.width, workArea.height);
     
-                    params = [workAreaBox, searchHeight, dashHeight, workspaceAppGridBox]
-                    if (Config.PACKAGE_VERSION > '42.beta') {
+                    if (Config.PACKAGE_VERSION < '42') {
+                        params = [workAreaBox, searchHeight, dashHeight, workspaceAppGridBox]
+                    } else {
                         params = [box, workAreaBox, searchHeight, dashHeight, workspaceAppGridBox]
                     }
                 } else {