[m-dev.] indenting (was Re: [m-rev.] diff: fix bugs with existential types & secondary tags)

[Zoltan Somogyi]

On 01-May-2001, David Overton <dmo at cs.mu.OZ.AU> wrote:
> I find it's generally easier to keep ts=8 for all files.  If I want to
> do 4-space indentation, I set sw=4 and use Ctrl-T and Ctrl-D to do the
> indenting.

That's the rub. I have been using vi for twenty years. Indentation by tab
is in my fingers; I don't think about it. Retraining to use control-[TD]
is not practical.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------