Re: Using glib's g_file_monitor_file and g_file_monitor_directory

[Stefan Monnier]

>>> I believe all events which are not raised by an user action (keyboard,
>>> mouse, etc) shall be handled by such a separate queue. Currently,
>>> TIMER_EVENT, BUFFER_SWITCH_EVENT, DBUS_EVENT and FILE_NOTIFY_EVENT would
>>> fall into this category. Maybe also USER_SIGNAL_EVENT.
>> I'm not sure I'd put BUFFER_SWITCH_EVENT in there, but I agree about the
>> other ones.
> I haven't used it yet, but the doc in termhooks.h says
>   BUFFER_SWITCH_EVENT,        /* A process filter has switched buffers.  */
> This doesn't sound like triggered by a user action.

AFAIK this event is only inserted when we're waiting for user input
(see record_asynch_buffer_change).  Furthermore, I'd argue that the
right way to handle such switches is to consider them as bugs (i.e. we
could just throw BUFFER_SWITCH_EVENT away).


        Stefan