[gnome-shell] dateMenu: Remove unused property



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]