From d47c4cafb856ffe2efd7d08ceddc8ceda475a8c6 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