[m-dev.] indenting (was Re: [m-rev.] diff: fix bugs with existential types & secondary tags)
Thomas Conway
conway at cs.mu.OZ.AU
Thu May 3 11:54:45 AEST 2001
On Tue, May 01, 2001 at 02:23:28PM EST, Zoltan Somogyi wrote:
> 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.
But remapping tab in vim is trivial.
--
Thomas Conway )O+
<conway at cs.mu.oz.au> 499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the developers
mailing list