Support fractional-second intervals on recurring timers

A fractional-second timeout was already supported for the initial timeout of a /TIMER, but if the timer was recurring then the interval was rounded to a whole number of seconds for the subsequent timeouts. Change the type of interval from long to double to fix this.
2017-10-11 23:21:14 +11:00
parent bbd18ba47e
commit 5839f2b393
3 changed files with 5 additions and 3 deletions
--- a/2
+++ b/2
@@ -1,5 +1,7 @@
 [Changes 1.2.2]

+* Support fractional-second intervals on recurring timers. (caf)
+
 * Change $geom() to return current screen's geometry, not the original
  terminal's. (caf)