[gnome-shell] appDisplay: Remove obsolete property
- From: Marge Bot <marge-bot src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] appDisplay: Remove obsolete property
- Date: Wed, 3 Feb 2021 20:00:16 +0000 (UTC)
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': {},
},
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]