editorconfig icon indicating copy to clipboard operation
editorconfig copied to clipboard

Docs: indent_size wrong possible_values?

Open Lilja opened this issue 3 years ago • 1 comments

This might be petty, but in the wiki page here that is linked from the editor config website, the indent_size declarations's possible values is considered integer, compare that to tab_width which says it can only be a positive integer.

Shouldn't indent_size also only accept a positive integer?

Lilja avatar Aug 13 '22 13:08 Lilja

Yes, both must be positive. It's not petty at all; actually, it's a good finding and our formal spec also missed this point: https://editorconfig-specification.readthedocs.io/#supported-pairs

xuhdev avatar Aug 15 '22 08:08 xuhdev