diff options
author | Ty Dunn <ty@tydunn.com> | 2023-06-29 22:55:14 -0700 |
---|---|---|
committer | Ty Dunn <ty@tydunn.com> | 2023-06-29 22:55:14 -0700 |
commit | a388490f47b44bd693ae27ab99589fe7ac425c77 (patch) | |
tree | 2ead51756ef11e35232e5bf963586c0e71c04bf7 /extension/src/suggestions.ts | |
parent | 8551e46491d84623559f536415f5e6aa46cda6af (diff) | |
parent | d47c4cafb856ffe2efd7d08ceddc8ceda475a8c6 (diff) | |
download | sncontinue-a388490f47b44bd693ae27ab99589fe7ac425c77.tar.gz sncontinue-a388490f47b44bd693ae27ab99589fe7ac425c77.tar.bz2 sncontinue-a388490f47b44bd693ae27ab99589fe7ac425c77.zip |
Merge branch 'main' of github.com:continuedev/continue
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: |