1
Index: gnome-shell-3.8.3/js/ui/messageTray.js
2
===================================================================
3
--- gnome-shell-3.8.3.orig/js/ui/messageTray.js 2013-06-07 15:45:07.000000000 -0400
4
+++ gnome-shell-3.8.3/js/ui/messageTray.js 2013-06-16 13:06:51.641459242 -0400
6
tray.connect('source-added', Lang.bind(this, this._updateClearSensitivity));
7
tray.connect('source-removed', Lang.bind(this, this._updateClearSensitivity));
8
this._updateClearSensitivity();
10
- let separator = new PopupMenu.PopupSeparatorMenuItem();
11
- this.addMenuItem(separator);
13
- let settingsItem = this.addSettingsAction(_("Notification Settings"), 'gnome-notifications-panel.desktop');
14
- settingsItem.connect('activate', function() { tray.close(); });
17
_updateClearSensitivity: function() {