Finalize TextEditorOptions.indentSize API proposal (#193193)

Finalize TextEditorOptions.indentSize API proposal
This commit is contained in:
Alexandru Dima
2023-09-15 12:54:06 +02:00
committed by GitHub
parent ec45a64ce2
commit 4dad617e42
4 changed files with 12 additions and 36 deletions

View File

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