comparison src/main.ts @ 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 ec6c48a07b03
children 42396b88c64d
comparison
equal deleted inserted replaced
10:a58b0f1fae42 11:6f7f35af6335
28 stateData: Object; 28 stateData: Object;
29 } 29 }
30 30
31 // Interface for all currently remembered file states. 31 // Interface for all currently remembered file states.
32 interface RememberFileStatePluginData { 32 interface RememberFileStatePluginData {
33 rememberedFiles: Object; 33 rememberedFiles: Record<string, RememberedFileState>;
34 } 34 }
35 35
36 // Default empty list of remembered file states. 36 // Default empty list of remembered file states.
37 const DEFAULT_DATA: RememberFileStatePluginData = { 37 const DEFAULT_DATA: RememberFileStatePluginData = {
38 rememberedFiles: {} 38 rememberedFiles: {}