Subject: bug#18856: 24.4; *grep* output buffer not getting fontified when jit-lock-defer-time is used

From: Stefan Monnier <[email-masked]>
Date: Wed, 29 Oct 2014 18:23:50 -0400

>  #define READABLE_EVENTS_FILTER_EVENTS		(1 << 1)
>  #define READABLE_EVENTS_IGNORE_SQUEEZABLES	(1 << 2)
> +#define READABLE_EVENTS_IGNORE_BUFFER_SWITCH	(1 << 3)

I think we should not need a new such setting, and can simply use
READABLE_EVENTS_FILTER_EVENTS (i.e. handle BUFFER_SWITCH_EVENT like we
handle FOCUS_IN, and I'm surprised there aren't more in that set of "not
really input" events).

        Stefan