[gnome-shell/gnome-3-36] dateMenu: Remove unused property
- From: Georges Basile Stavracas Neto <gbsneto src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/gnome-3-36] dateMenu: Remove unused property
- Date: Mon, 18 May 2020 23:40:06 +0000 (UTC)
commit 3f24721c7619d42c3cb272ab3e86c4facf6f752d
Author: Florian Müllner <fmuellner gnome org>
Date: Mon May 18 10:50:57 2020 +0000
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
(cherry picked from commit 4e2ae30a4733cd6dc4786465a0b2d409b2c99b32)
js/ui/dateMenu.js | 1 -
1 file changed, 1 deletion(-)
---
diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 2dfdd374ff..7fc7c38281 100644
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -481,7 +481,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]