From 1da66af471329204dec9749451d533a47212c7fa Mon Sep 17 00:00:00 2001 From: Nate Sesti Date: Thu, 29 Jun 2023 22:46:56 -0700 Subject: lock suggestions until done streaming --- extension/src/suggestions.ts | 1 + 1 file changed, 1 insertion(+) (limited to 'extension/src/suggestions.ts') diff --git a/extension/src/suggestions.ts b/extension/src/suggestions.ts index 8bed202c..e269f38a 100644 --- a/extension/src/suggestions.ts +++ b/extension/src/suggestions.ts @@ -17,6 +17,7 @@ export const editorToSuggestions: Map< string, // URI of file SuggestionRanges[] > = new Map(); +export const editorSuggestionsLocked: Map = new Map(); // Map from editor URI to whether the suggestions are locked export const currentSuggestion: Map = new Map(); // Map from editor URI to index of current SuggestionRanges in editorToSuggestions // When tab is reopened, rerender the decorations: -- cgit v1.2.3-70-g09d2