# HG changeset patch
# User Emmanuel Gil Peyrot <linkmauve@linkmauve.fr>
# Date 1545504781 -3600
# Node ID bde4f0bbfe699d086dfe43eb464b27c6ae47b435
# Parent  3c02cbced2dfc32318a08dea5ab54a3b6918d89d
Clear a spinner’s timeout on change if it had been set previously.

diff --git a/util.js b/util.js
--- a/util.js
+++ b/util.js
@@ -44,23 +44,31 @@ function configurePEPField(node, key, va
 }
 
 function displaySpinner(spinner) {
+    if ('timeoutid' in spinner.dataset)
+        clearTimeout(spinner.dataset.timeoutid);
     spinner.src = 'spinner.svg';
     spinner.hidden = false;
 }
 
 function spinnerOk(spinner) {
+    if ('timeoutid' in spinner.dataset)
+        clearTimeout(spinner.dataset.timeoutid);
     spinner.src = 'ok.svg';
     spinner.hidden = false;
-    setTimeout(function () {
+    spinner.dataset.timeoutid = setTimeout(function () {
         spinner.hidden = true;
     }, 1000);
 }
 
 function spinnerError(spinner) {
+    if ('timeoutid' in spinner.dataset)
+        clearTimeout(spinner.dataset.timeoutid);
     spinner.src = 'error.svg';
     spinner.hidden = false;
 }
 
 function hideSpinner(spinner) {
+    if ('timeoutid' in spinner.dataset)
+        clearTimeout(spinner.dataset.timeoutid);
     spinner.hidden = true;
 }