At 09:55 PM 5/29/2001 +0100, Graham Barr wrote:
>On Tue, May 29, 2001 at 04:48:59PM -0400, Dan Sugalski wrote:
> > 1) The indentation should be all tabs or all spaces. No mix, it's a pain.
> > (As has been already pointed out) 4 column indent per level, all spaces.
>
>Can you explain why you think it is a pain. I would say converting between
>all tabs and all spaces is a pain too. Most editors I know of that
>do the tabs automatically would fill the start of the line with tabs
>and then add 4 spaces. So the indent would be either all tabs, or tabs
>plus 4 spaces

Tabs seem to get geeked up in diffs more than any other single character. 
It just doesn't seem worth the headache of dealing with a mixed set of 
spaces and tabs as prefixed whitespace, so... one or the other, and 
all-tabs is a bit much.

                                        Dan

--------------------------------------"it's like this"-------------------
Dan Sugalski                          even samurai
[EMAIL PROTECTED]                         have teddy bears and even
                                      teddy bears get drunk

Reply via email to