[gnome-shell] workspaceThumbnails: Remove obsolete property

[Marge Bot <marge-bot src gnome org>]

commit a41e294e21e357e661ac9c60b12590e00c2e4ef9
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jan 30 02:15:53 2021 +0100

    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 46de36fa47..f74c8fecbe 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,