Re: [PATCH] Remove obsolete fast-lock and lazy-lock libraries

[Stefan Monnier]

> I was thinking that a more descriptive name would make it easier for
> people to figure out what the variable is for.

IMNSHO, that variable should not be a defcustom any more and we
shouldn't encourage users to touch it.  IOW we should mark it obsolete.

We could OTOH add a new command to enter a form of
`font-lock-debug-mode` which could disable the use of jit-lock (but not
necessarily in exactly the same way as setting `font-lock-support-mode`
would, tho it would probably be the most obvious immediate choice in the
short term).


        Stefan