2017-08-05 12:05:52 +00:00
|
|
|
Index: gnome-shell-3.24.2/js/ui/endSessionDialog.js
|
2016-09-04 13:22:57 +00:00
|
|
|
===================================================================
|
2017-08-05 12:05:52 +00:00
|
|
|
--- gnome-shell-3.24.2.orig/js/ui/endSessionDialog.js
|
|
|
|
+++ gnome-shell-3.24.2/js/ui/endSessionDialog.js
|
|
|
|
@@ -426,8 +426,10 @@ const EndSessionDialog = new Lang.Class(
|
2016-09-04 13:22:57 +00:00
|
|
|
|
|
|
|
let description;
|
|
|
|
let displayTime = _roundSecondsToInterval(this._totalSecondsToStayOpen,
|
|
|
|
- this._secondsLeft,
|
|
|
|
- 10);
|
|
|
|
+ this._secondsLeft,
|
|
|
|
+ // larger than any normal value
|
|
|
|
+ 1000000);
|
|
|
|
+
|
|
|
|
|
|
|
|
if (this._user.is_loaded) {
|
|
|
|
let realName = this._user.get_real_name();
|