Re: [PATCH] Documentation: indent-with-non-tab uses tabwidth setting, not just 8

> An alternative would be to lose the "8" (or `tabwidth`) from that
> description.  I've always thought that the description of `tabwidth`
> is clear enough that "8" in the patch is not a hardcoded non-overridable
> value but is merely a default, but after reading that section a few
> more times, I no longer think that is the case.
> 
> I originally wrote "8 or more space" but that wasn't because I
> thought it was important to stress "8 is the default", but because I
> didn't think of a better way to say what I wanted to say, which was
> "if you are filling the indentation with spaces when you could have
> just typed a tab with a few spaces, this error triggers", in other
> words "use of this is to encourage indenting with tabs".