[gnome-shell] appDisplay: Remove obsolete property

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

commit 0064412359ae1089e9a28d409cfd51ed73bbb095
Author: Florian Müllner <fmuellner gnome org>
Date:   Sat Jan 30 00:56:48 2021 +0100

    appDisplay: Remove obsolete property
    
    Since commit f09fbb19c, all app grids use pagination and the old
    property is meaningless.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1611>

 js/ui/appDisplay.js | 6 ------
 1 file changed, 6 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 574b9cd14a..2d81a85164 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -117,12 +117,6 @@ function _findBestFolderName(apps) {
 
 var BaseAppView = GObject.registerClass({
     GTypeFlags: GObject.TypeFlags.ABSTRACT,
-    Properties: {
-        'use-pagination': GObject.ParamSpec.boolean(
-            'use-pagination', 'use-pagination', 'use-pagination',
-            GObject.ParamFlags.READWRITE | GObject.ParamFlags.CONSTRUCT_ONLY,
-            false),
-    },
     Signals: {
         'view-loaded': {},
     },