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 | afe3016ec3c143787e95a8b7e7a31f8177f63957 (patch) | |
| tree | ae197b61eb280ba00cdda21bec831ef36b9dce9c /extension/schema | |
| parent | 8b5af6bbc6bd1cbe743ebc09f0ebf10a2072e6ff (diff) | |
| download | sncontinue-afe3016ec3c143787e95a8b7e7a31f8177f63957.tar.gz sncontinue-afe3016ec3c143787e95a8b7e7a31f8177f63957.tar.bz2 sncontinue-afe3016ec3c143787e95a8b7e7a31f8177f63957.zip | |
sdk.get_code_context
Diffstat (limited to 'extension/schema')
| -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; } /** |