<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Aug 20, 2014 at 7:10 PM, Paul Kelly <span dir="ltr"><<a href="mailto:paul-grass@stjohnspoint.co.uk" target="_blank">paul-grass@stjohnspoint.co.uk</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class=""><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">

* If you are using only tabs it really does not matter "how long" tab<br>
(in spaces) is because indentation levels are defined in number of tabs<br>
(not spaces) and the number is natural number (naturally).<br>
</blockquote>
<br></div>
Well it would mean all developers would need to set the tab spacing in their editors to 4 spaces (in order for files to appear the same as now). So it would mean requiring extra effort on the part of the majority of people who use 8-character tabs, just to cater to the minority who like to use tabs of a different length.</blockquote>

<div><br>You need to have 8 spaces tabs for the files to look correct. If we would be using just tabs, any number of spaces for tab would be correct. The style we are using is however this:<br><br></div><div>while (True) { // level 0<br>

</div><div>(four spaces) if (a == 5) { // level 1<br></div><div>(one tab) if (b == 6) { // level 2<br></div><div>(one tab)(four spaces) c = 5 // level 3<br>(one tab) } // level 2<br>(four spaces) } // level 1<br></div><div>

} // level 0<br></div><div><br></div><div>Tell me if I'm looking to wrong files but this is the state of files indented by the indent script. See attached screenshot of a file after running grass_indent.sh in editor showing whitespace characters.<br>

</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I'm just playing devil's advocate there of course, but if it had to be changed I definitely think all spaces (a la FFmpeg) is a better option than all tabs...</blockquote>

</div><br></div><div class="gmail_extra">Or we can of course accept both but now we are not comforting anybody (by the style standardized in the script) because we are mixing them, and not only in one file but in the scope of one line. Third level of indentation is one tab (to get you to the second level) and four spaces (to get one level up). Now, what is the fourth level? From what I know, you replace the four spaces by one tab and you are there.<br>

<br></div><div class="gmail_extra">To make myself clear, I don't care how tab is long. I'm even not stating any preference about using spaces only or tabs only for one file or for the whole project. What bothers me is that mixing spaces and tabs at one line does not make any sense as well as one tab used to indent the second indentation level. And I don't want to introduce this to new files.<br>

</div></div>