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
dan@sidhe.org have teddy bears and even
teddy bears get drunk
Thread Previous
|
Thread Next