[gnome-shell/gnome-3-36] dateMenu: Remove unused property



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]