On 07/21/2017 08:10 AM, Harold Tessmann wrote: > On Thu, Jul 20, 2017 at 11:40 PM, Hong Xu <[email protected] > <mailto:[email protected]>> 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.
