25 lines
1.0 KiB
Diff
25 lines
1.0 KiB
Diff
|
Index: gnome-shell-45.0/js/ui/endSessionDialog.js
|
||
|
===================================================================
|
||
|
--- gnome-shell-45.0.orig/js/ui/endSessionDialog.js
|
||
|
+++ gnome-shell-45.0/js/ui/endSessionDialog.js
|
||
|
@@ -300,7 +300,7 @@ class EndSessionDialog extends ModalDial
|
||
|
this.contentLayout.add_child(this._applicationSection);
|
||
|
|
||
|
this._sessionSection = new Dialog.ListSection({
|
||
|
- title: _('Other users are logged in'),
|
||
|
+ title: _('Other users are logged in. You can list these users with the "who" command.'),
|
||
|
});
|
||
|
this.contentLayout.add_child(this._sessionSection);
|
||
|
|
||
|
@@ -753,8 +753,8 @@ class EndSessionDialog extends ModalDial
|
||
|
this._applications.push(inhibitor);
|
||
|
}
|
||
|
|
||
|
- if (dialogContent.showOtherSessions)
|
||
|
- this._loadSessions().catch(logError);
|
||
|
+ //if (dialogContent.showOtherSessions)
|
||
|
+ //this._loadSessions().catch(logError);
|
||
|
|
||
|
let updatesAllowed = this._updatesPermission && this._updatesPermission.allowed;
|
||
|
|