2023-03-20 13:49:30 +01:00
|
|
|
Index: gnome-shell-44.beta/js/ui/endSessionDialog.js
|
2022-03-21 09:37:00 +01:00
|
|
|
===================================================================
|
2023-03-20 13:49:30 +01:00
|
|
|
--- gnome-shell-44.beta.orig/js/ui/endSessionDialog.js
|
|
|
|
+++ gnome-shell-44.beta/js/ui/endSessionDialog.js
|
|
|
|
@@ -296,7 +296,7 @@ class EndSessionDialog extends ModalDial
|
2020-04-18 00:56:08 +02:00
|
|
|
this.contentLayout.add_child(this._applicationSection);
|
2019-10-04 17:46:38 +02:00
|
|
|
|
2020-04-18 00:56:08 +02:00
|
|
|
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);
|
2019-10-04 17:46:38 +02:00
|
|
|
|
2023-03-20 13:49:30 +01:00
|
|
|
@@ -758,8 +758,8 @@ class EndSessionDialog extends ModalDial
|
2020-04-18 00:56:08 +02:00
|
|
|
this._applications.push(inhibitor);
|
|
|
|
}
|
|
|
|
|
|
|
|
- if (dialogContent.showOtherSessions)
|
|
|
|
- this._loadSessions();
|
|
|
|
+ // if (dialogContent.showOtherSessions) // Hide _sessionList for jsc#SLE-9267
|
|
|
|
+ // this._loadSessions();
|
|
|
|
|
2021-04-12 14:23:54 +02:00
|
|
|
let updatesAllowed = this._updatesPermission && this._updatesPermission.allowed;
|
|
|
|
|