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>
This commit is contained in:
Florian Müllner 2021-01-30 00:56:48 +01:00
parent 3ff71ac40e
commit 0064412359

View File

@ -117,12 +117,6 @@ function _findBestFolderName(apps) {
var BaseAppView = GObject.registerClass({ var BaseAppView = GObject.registerClass({
GTypeFlags: GObject.TypeFlags.ABSTRACT, 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: { Signals: {
'view-loaded': {}, 'view-loaded': {},
}, },