2023-10-23 16:05:05 +02:00
|
|
|
Index: gnome-shell-45.0/js/ui/endSessionDialog.js
|
2022-03-21 09:37:00 +01:00
|
|
|
===================================================================
|
2023-10-23 16:05:05 +02:00
|
|
|
--- 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
|
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-10-23 16:05:05 +02:00
|
|
|
@@ -753,8 +753,8 @@ class EndSessionDialog extends ModalDial
|
2020-04-18 00:56:08 +02:00
|
|
|
this._applications.push(inhibitor);
|
|
|
|
}
|
|
|
|
|
|
|
|
- if (dialogContent.showOtherSessions)
|
2023-10-23 16:05:05 +02:00
|
|
|
- this._loadSessions().catch(logError);
|
|
|
|
+ //if (dialogContent.showOtherSessions)
|
|
|
|
+ //this._loadSessions().catch(logError);
|
2020-04-18 00:56:08 +02:00
|
|
|
|
2021-04-12 14:23:54 +02:00
|
|
|
let updatesAllowed = this._updatesPermission && this._updatesPermission.allowed;
|
|
|
|
|