diff options
| -rw-r--r-- | Leanime.lean | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Leanime.lean b/Leanime.lean index 24ca88f..032e140 100644 --- a/Leanime.lean +++ b/Leanime.lean @@ -140,6 +140,7 @@ elab "s" : tactic => do let startTime := idxStringSplit[1]!.toNat! let frame ← getFrame frameDir idx logInfo frame <| 10000 - idx + -- 15 FPS since VSCode probably can't even render that fast IO.FS.writeFile (frameDir.join "idx") s!"{idx + 2} {startTime}" IO.sleep <| startTime + 100 * idx / 3 - (← IO.monoMsNow) |>.toUInt32 |