|
| From: | Richard Stallman |
| Subject: | Re: Default value of next-error-highlight is too small |
| Date: | Sun, 17 Sep 2006 11:12:19 -0400 |
Would .5 seconds work for you?
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?
| [Prev in Thread] | Current Thread | [Next in Thread] |