diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-29 22:46:56 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-29 22:46:56 -0700 |
| commit | 1da66af471329204dec9749451d533a47212c7fa (patch) | |
| tree | ab6e3da7181fe4b298030b0f110f18823e0558ca /extension/src/suggestions.ts | |
| parent | acb5f920a2d1640b8cc2a3e6f2db1f7d5a554978 (diff) | |
| download | sncontinue-1da66af471329204dec9749451d533a47212c7fa.tar.gz sncontinue-1da66af471329204dec9749451d533a47212c7fa.tar.bz2 sncontinue-1da66af471329204dec9749451d533a47212c7fa.zip | |
lock suggestions until done streaming
Diffstat (limited to 'extension/src/suggestions.ts')
| -rw-r--r-- | extension/src/suggestions.ts | 1 |
1 files changed, 1 insertions, 0 deletions
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<string, boolean> = new Map(); // Map from editor URI to whether the suggestions are locked export const currentSuggestion: Map<string, number> = new Map(); // Map from editor URI to index of current SuggestionRanges in editorToSuggestions // When tab is reopened, rerender the decorations: |