Create a new API proposal with TextEditorOptions.indentSize

This commit is contained in:
Alex Dima
2022-11-16 13:01:00 +01:00
parent 357f4e9c74
commit 484e0cbddb
6 changed files with 38 additions and 17 deletions

View File

@@ -165,10 +165,10 @@ export class ExtHostTextEditorOptions {
set tabSize(value: number | string) {
that._setTabSize(value);
},
get indentSize(): number | string {
get indentSize(): number | 'tabSize' {
return that._indentSize;
},
set indentSize(value: number | string) {
set indentSize(value: number | 'tabSize') {
that._setIndentSize(value);
},
get insertSpaces(): boolean | string {