<div dir="ltr">I partly agree with you, but I think at least there should be consistency in the same file. Those two options had 4 spaces, but others have tabs or 8 spaces. Well, there is still inconsistency... Why don't we use the indent script for all files?<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 23, 2016 at 11:52 PM, Vaclav Petras <span dir="ltr"><<a href="mailto:wenzeslaus@gmail.com" target="_blank">wenzeslaus@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><span class=""><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Mar 23, 2016 at 11:29 PM, Huidae Cho <span dir="ltr"><<a href="mailto:grass4u@gmail.com" target="_blank">grass4u@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Vaclav, that script completely removes tabs and I didn't want to introduce a big revision for no reason other than changing those two options to match the rest of the file.</blockquote></div><br><br></div></span><div class="gmail_extra">I think there is no need to do that. There is a lot of files in the source code which do not comply with any (!) version of the indent script. If you want the file to be consistent, why not to be consistent with the script and actually use it? If inconsistencies with Submitting guidelines are OK, why change anything? Perhaps it will turn into the new style itself in time if we won't be reverting it back. We can also say that we actually want everything to be consistent and do that big change.<br></div></div>
</blockquote></div><br></div>