# HG changeset patch # User Eli Zaretskii # Date 1114261086 0 # Node ID 761e44d04246d30556ea22ff05227165275b2329 # Parent 066b853c5e5e1c811de9f355bb1242f37d59b68f Mark JIT stealth entry as non-documentable. diff -r 066b853c5e5e -r 761e44d04246 etc/NEWS --- a/etc/NEWS Sat Apr 23 12:47:34 2005 +0000 +++ b/etc/NEWS Sat Apr 23 12:58:06 2005 +0000 @@ -120,6 +120,7 @@ ** fast-lock.el and lazy-lock.el are obsolete. Use jit-lock.el instead. +--- ** The default settings for JIT stealth lock parameters are changed. The default value forthe user option jit-lock-stealth-time is now 16 instead of 3, and the default value of jit-lock-stealth-nice is now