From a41e294e21e357e661ac9c60b12590e00c2e4ef9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 30 Jan 2021 02:15:53 +0100
Subject: [PATCH] workspaceThumbnails: Remove obsolete property

Since commit f55ff012394, the property has been replaced by
an adjustment.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>
---
 js/ui/workspaceThumbnail.js | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/js/ui/workspaceThumbnail.js b/js/ui/workspaceThumbnail.js
index 46de36fa4..f74c8fecb 100644
--- a/js/ui/workspaceThumbnail.js
+++ b/js/ui/workspaceThumbnail.js
@@ -607,10 +607,6 @@ var WorkspaceThumbnail = GObject.registerClass({
 
 var ThumbnailsBox = GObject.registerClass({
     Properties: {
-        'indicator-y': GObject.ParamSpec.double(
-            'indicator-y', 'indicator-y', 'indicator-y',
-            GObject.ParamFlags.READWRITE,
-            0, Infinity, 0),
         'scale': GObject.ParamSpec.double(
             'scale', 'scale', 'scale',
             GObject.ParamFlags.READWRITE,