From 0064412359ae1089e9a28d409cfd51ed73bbb095 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Sat, 30 Jan 2021 00:56:48 +0100
Subject: [PATCH] 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 574b9cd14..2d81a8516 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': {},
     },