diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-07-09 14:12:36 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-07-09 14:12:36 -0700 |
| commit | 5709c9ae003ededb520ee641cae8c8570d4c93af (patch) | |
| tree | bb274c324b682a1a1034d378ea885d0809e425cc /extension/schema/FullState.d.ts | |
| parent | 2146529ff2f73356102f67f5011ef2437f334ad6 (diff) | |
| download | sncontinue-5709c9ae003ededb520ee641cae8c8570d4c93af.tar.gz sncontinue-5709c9ae003ededb520ee641cae8c8570d4c93af.tar.bz2 sncontinue-5709c9ae003ededb520ee641cae8c8570d4c93af.zip | |
sdk.get_code_context
Diffstat (limited to 'extension/schema/FullState.d.ts')
| -rw-r--r-- | extension/schema/FullState.d.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extension/schema/FullState.d.ts b/extension/schema/FullState.d.ts index 981e772e..abb0832d 100644 --- a/extension/schema/FullState.d.ts +++ b/extension/schema/FullState.d.ts @@ -32,6 +32,7 @@ export type Character = number; export type Contents = string; export type Editing = boolean; export type Pinned = boolean; +export type DisplayName = string; export type HighlightedRanges = HighlightedRangeContext[]; export type Name3 = string; export type Description1 = string; @@ -102,6 +103,7 @@ export interface HighlightedRangeContext { range: RangeInFileWithContents; editing: Editing; pinned: Pinned; + display_name: DisplayName; [k: string]: unknown; } /** |