Workaround microsoft/vscode#199791

editorconfig · Dec 1, 2023 · db1809c · db1809c
1 parent 2584ce4
commit db1809c
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/api.ts b/src/api.ts
@@ -58,6 +58,20 @@ export async function applyTextEditorOptions(
  typeof newOptions.tabSize === 'number'
  ) {
  newOptions.indentSize = editor.options.indentSize
+ if (
+ newOptions.tabSize != editor.options.tabSize ||
+ newOptions.insertSpaces != editor.options.insertSpaces
+ ) {
+ // Workaround vscode bug #199791, indentSize is not updated the first time around.
+ const subscription = window.onDidChangeTextEditorOptions(async e => {
+ if (e.options.tabSize === newOptions.tabSize) {
+ subscription.dispose()
+ editor.options = {
+ indentSize: newOptions.indentSize,
+ }
+ }
+ })
+ }
  }
  editor.options = newOptions