gnome-shell/endSession-dialog-update-time-label-every-sec.patch

18 lines
855 B
Diff
Raw Normal View History

Index: gnome-shell-3.24.2/js/ui/endSessionDialog.js
===================================================================
--- 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(
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();