|
| From: | martin rudalics |
| Subject: | Re: Default of jit-lock-stealth-time |
| Date: | Sun, 25 Feb 2007 14:31:05 +0100 |
| User-agent: | Mozilla Thunderbird 1.0 (Windows/20041206) |
I think that for the release, we should set jit-lock-stealth-time to nil rather than its default of 16.
I think so too.
| [Prev in Thread] | Current Thread | [Next in Thread] |