Reduce chance of needlessly rescheduled Delayed calls

Issue codemirror#5993
cone56 · Jan 6, 2020 · 1e8b6e3 · 1e8b6e3
1 parent e47eb41
commit 1e8b6e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/misc.js b/src/util/misc.js
@@ -37,7 +37,7 @@ export class Delayed {
   }
   onTimeout(self) {
     self.id = 0
-    if (self.time < +new Date) {
+    if (self.time <= +new Date) {
       self.f()
     } else {
       setTimeout(self.handler, self.time - +new Date)