From d7d4e7a84a1535cbd08be8d7108011cedc0b5b01 Mon Sep 17 00:00:00 2001
From: Fmstrat <nospam@nowsci.com>
Date: Wed, 7 Oct 2020 10:22:05 -0400
Subject: [PATCH] Tweener fix for Gnome 3.37.90

---
 extension.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extension.js b/extension.js
index 7d95397..e37108b 100644
--- a/extension.js
+++ b/extension.js
@@ -11,7 +11,7 @@ const PanelMenu = imports.ui.panelMenu;
 const PopupMenu = imports.ui.popupMenu;
 
 const St = imports.gi.St;
-const Tweener = imports.ui.tweener;
+const Tweener = imports.tweener && imports.tweener.tweener || imports.ui.tweener;
 
 let onWindowGrabBegin, onWindowGrabEnd;
 let windowMoving = false;