# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1646115014 28800
# Node ID 6f7f35af6335f7e5bf1e45475f02e57564c5cd0e
# Parent  a58b0f1fae421b4de206396d86bb6ded8ed10ce1
Better type information for the plugin data

diff -r a58b0f1fae42 -r 6f7f35af6335 src/main.ts
--- 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.