RE: Default value of next-error-highlight is too small

[Drew Adams]

    Would .5 seconds work for you?

Yes, 0.5 seconds is perceptible.

        I might agree to a longer default delay if the overlay would go away
        the moment some input event comes in; currently it doesn't.

        I agree that behavior would be a good option.

    Suppose we did this: would anyone then object to a default of .5 seconds
    or 1 second?

If we did that (next input removes highlighting), then I'd vote for no
timeout at all as the default - let the next input event alone remove the
highlighting.