From 1a30460f4cb376cd3f709aadd3e55959b6ed87d6 Mon Sep 17 00:00:00 2001
From: Peter Liebetraut <peter@liebetraut.de>
Date: Wed, 27 Mar 2019 21:40:37 +0100
Subject: [PATCH] Use 'global.display' when 'global.screen' is not available
 (fixes tea cup animation for gnome 3.30)

---
 src/extension.js | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/extension.js b/src/extension.js
index 18708d9..d4600d3 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -112,7 +112,12 @@ const TeaTimeFullscreenNotification = new Lang.Class({
 	},
 	show: function () {
 		if (typeof Layout.MonitorConstraint != 'undefined') {
-			this._monitorConstraint.index = global.screen.get_current_monitor()
+			// global.display was introduced in gnome-shell 3.30
+			if (typeof global.screen != 'undefined') {
+				this._monitorConstraint.index = global.screen.get_current_monitor();
+			} else {
+				this._monitorConstraint.index = global.display.get_current_monitor();
+			}
 		}
 		Main.pushModal(this._bin);
 		this._timeline.start();