From b9d9bab21836b2f902f32d8bb8407fb3c6b5617b Mon Sep 17 00:00:00 2001 From: Simon H <5968653+dummdidumm@users.noreply.github.com> Date: Tue, 16 Aug 2022 09:11:58 +0200 Subject: [PATCH] Update html/index.d.ts Co-authored-by: Ignatius Bagus --- html/index.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/index.d.ts b/html/index.d.ts index e99a1a2ce8..7700d9514b 100644 --- a/html/index.d.ts +++ b/html/index.d.ts @@ -1066,7 +1066,7 @@ export interface SvelteMediaTimeRange { end: number; } -export interface SvelteWindowAttributes extends HTMLAttributes { +export interface SvelteWindowAttributes extends HTMLAttributes { readonly innerWidth?: Window['innerWidth'] | undefined | null; readonly innerHeight?: Window['innerHeight'] | undefined | null; readonly outerWidth?: Window['outerWidth'] | undefined | null;