From 6f4a3b8c780a722426ef9e1761d4b087ffe597b0 Mon Sep 17 00:00:00 2001
From: Rob Pilling <robpilling@gmail.com>
Date: Thu, 3 Oct 2024 22:10:53 +0100
Subject: [PATCH] typescript: sched.d.ts: distinguish between Timer & Sched

---
 typescript/types/sched.d.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/typescript/types/sched.d.ts b/typescript/types/sched.d.ts
index 766455dc6..1bcffb632 100644
--- a/typescript/types/sched.d.ts
+++ b/typescript/types/sched.d.ts
@@ -77,6 +77,8 @@ declare module Sched {
     }
   );
 
+  type Timer = Sched & { timer: Milliseconds };
+
   type Repeat = {
     num: number,
     interval: "day" | "week" | "month" | "year",
@@ -103,7 +105,7 @@ declare module Sched {
 
   function setAlarm(id: string, alarm?: NewSched): void;
 
-  function resetTimer(alarm: Sched, time?: Date): void;
+  function resetTimer(alarm: Timer, time?: Date): void;
 
   function getTimeToAlarm(alarm: Sched | undefined | null, time?: Date): number | undefined;
   function getTimeToAlarm(alarm?: undefined | null, time?: Date): undefined;