Tom Lane wrote:
>
> Thomas Lockhart <lockhart@alumni.caltech.edu> writes:
> > Was "spaces instead of tabs" one of the voted-on options? That would
> > make the tab issue moot, and would result in consistant appearance not
> > matter what tab setting one is using.
>
> Quite a good thought, actually. It'd be worth checking to see if there
> is any material expansion in the source's disk footprint and/or the
> size of a compressed tarball after getting rid of tabs entirely.
> I'd be willing to vote for this if the space penalty is not large...
Me too!
And, there already is an utility to entab/detab in tools section, so people
can use it if they absolutely must have tabs in their source.
AFAIK most decent editors also can [en/de]tab the source they are editing.
So my vote would be 4-space indents, no tabs
--------------
Hannu