changeset 11:6f7f35af6335

Better type information for the plugin data
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 28 Feb 2022 22:10:14 -0800
parents a58b0f1fae42
children 42396b88c64d
files src/main.ts
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/main.ts	Mon Feb 14 13:03:01 2022 -0800
+++ b/src/main.ts	Mon Feb 28 22:10:14 2022 -0800
@@ -30,7 +30,7 @@
 
 // Interface for all currently remembered file states.
 interface RememberFileStatePluginData {
-	rememberedFiles: Object;
+	rememberedFiles: Record<string, RememberedFileState>;
 }
 
 // Default empty list of remembered file states.