[gnome-shell] dateMenu: Remove unused property
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] dateMenu: Remove unused property
- Date: Mon, 18 May 2020 17:09:31 +0000 (UTC)
commit 4e2ae30a4733cd6dc4786465a0b2d409b2c99b32
Author: Florian Müllner <fmuellner gnome org>
Date: Mon May 18 12:50:57 2020 +0200
dateMenu: Remove unused property
This is a left-over from an earlier iteration where the session's
presence status was used rather than the GSetting.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2796
js/ui/dateMenu.js | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 9b0d65ccc6..576f76c96c 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -485,7 +485,6 @@ class MessagesIndicator extends St.Icon {
this._sources = [];
this._count = 0;
- this._doNotDisturb = false;
this._settings = new Gio.Settings({
schema_id: 'org.gnome.desktop.notifications',
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]