Missing TextEditorOptions.indentSize API type

[tao-cumplido]

Setting the TextEditorOptions.tabSize setting in an extension behaves differently since the introduction of the new indentSize setting, as it only sets the tab size and not anymore the indent size, which, as I understand it, is intended behavior (#168745). Now, there is no indentSize property on the TextEditorOptions interface, ignoring TypeScript and setting it anyway does work though.

This currently affects the EditorConfig extension. See editorconfig/editorconfig-vscode#341 (comment)

[alexdima]

To reproduce, you can use the following settings:

{
	"editor.tabSize": 2,
	"editor.detectIndentation": false,
	"editor.insertSpaces": true
}

And then the following extension:

• package.json:

{
    "name": "168836",
    "publisher": "alex",
    "version": "1.0.0",
    "engines": {"vscode": "^1.22.0"},
    "main": "main.js",
    "activationEvents": ["*"]
}

• main.js:

const vscode = require('vscode');
exports.activate = function(context) {
    setTimeout(() => {
        console.log(`SETTING tabSize to 4`);
        vscode.window.activeTextEditor.options.tabSize = 4;
    }, 3000);
}

[aeschli]

Fixed by #168986

[fwcd]

Is adding TextEditorOptions.indentSize to the API still planned?

Edit: Ah, I just found the proposed API

[abdella0983]

R3CM90C7F9W