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

[Stefan Monnier]

>  #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