[m-dev.] preferences for error contexts

[Ralph Becket]

Peter Wang, Friday, 15 May 2009:
> Currently this change would only kick in when the context is "too long".
> However, one unexpected benefit is that in vim the :cn, :cp commands will
> skip directly from one error to the next without going through the
> intermediate lines, so maybe the new format should be used even for short
> contexts?  On the other hand, the existing format is probably more readable
> when the context is short.

I'd have no objection to using your new scheme exclusively.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------