The semantics of indent_size = tab is not clear to me after reading this thread.
Hong Xu, could you please (1) document indent_size = tab in https://github.com/editorconfig/editorconfig/wiki/EditorConfig-Properties#indent_size <https://www.google.com/url?q=https%3A%2F%2Fgithub.com%2Feditorconfig%2Feditorconfig%2Fwiki%2FEditorConfig-Properties%23indent_size&sa=D&sntz=1&usg=AFQjCNHx-kbgMmeLZ62MwcPLiEGTbO_cZw> and (2) add a few tests with concrete data somewhere that will show clearly what the various combinations of indent_style and indent_size are supposed to do? Thanks, -- Peter On Friday, July 21, 2017 at 7:21:23 PM UTC+2, Hong Xu wrote: > > On 07/21/2017 08:10 AM, Harold Tessmann wrote: > > On Thu, Jul 20, 2017 at 11:40 PM, Hong Xu <[email protected] > <javascript:> > > <mailto:[email protected] <javascript:>>> wrote: > > > > On 07/20/2017 06:05 PM, Harold Tessmann wrote: > > > Either I need more caffeine, or the documentation at > > > > > < > https://github.com/editorconfig/editorconfig/wiki/EditorConfig-Properties#indent_size > > > < > https://github.com/editorconfig/editorconfig/wiki/EditorConfig-Properties#indent_size>> > > > > > is unclear. What would it mean if you set indent_size = tab? > > > > > > > It means an indent should be a tab. > > > > > > Isn’t this redundant with indent_style = tab, though? What would happen > > if I did: > > > > indent_style = space > > indent_size = tab > > > > It seems like the only acceptable value for indent_size should be > > numeric, and indent_style alone should determine whether to use a tab > > character or spaces. > > It could be the case that indent_style is tab but indent_size is a > number. In this case, tab fill most of the indent and spaces fill the > rest when tabs are too wide. This could happen to some projects such as > GCC and Vim. However, if indent_size is not specified an indent_style is > tab, it defaults to tab. > > > > -- You received this message because you are subscribed to the Google Groups "EditorConfig" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/editorconfig. For more options, visit https://groups.google.com/d/optout.
