[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Default value of next-error-highlight is too small
|
From: |
Drew Adams |
|
Subject: |
RE: Default value of next-error-highlight is too small |
|
Date: |
Mon, 11 Sep 2006 09:57:56 -0700 |
I think that 2 would be a good default value for next-error-highlight.
Does anyone object?
That's fine with me.
And let's please document this better - because of the (subliminal!) 0.1 sec
default, I never even saw the highlighting, so I didn't know about changing
the highlight period.
- Re: Default value of next-error-highlight is too small, (continued)
- Re: Default value of next-error-highlight is too small, Juri Linkov, 2006/09/17
- Re: Default value of next-error-highlight is too small, Richard Stallman, 2006/09/17
- RE: Default value of next-error-highlight is too small, Drew Adams, 2006/09/17
- Re: Default value of next-error-highlight is too small, Richard Stallman, 2006/09/18
- RE: Default value of next-error-highlight is too small, Drew Adams, 2006/09/18
Re: Default value of next-error-highlight is too small, Richard Stallman, 2006/09/11
- RE: Default value of next-error-highlight is too small,
Drew Adams <=