File endSession-dialog-update-time-label-every-sec.patch of Package gnome-shell
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
@@ -379,7 +379,10 @@ class EndSessionDialog extends ModalDial
let description;
let displayTime = _roundSecondsToInterval(
- this._totalSecondsToStayOpen, this._secondsLeft, 10);
+ this._totalSecondsToStayOpen,
+ this._secondsLeft,
+ // larger than any normal value
+ 1000000);
if (this._user.is_loaded) {
let realName = this._user.get_real_name();