[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