325 |
`switch-frame' events in kbd_buffer_get_event, if necessary. */ |
`switch-frame' events in kbd_buffer_get_event, if necessary. */ |
326 |
FOCUS_IN_EVENT, |
FOCUS_IN_EVENT, |
327 |
|
|
328 |
|
/* Generated when mouse moves over window not currently selected. */ |
329 |
|
SELECT_WINDOW_EVENT, |
330 |
|
|
331 |
/* Queued from XTread_socket when session manager sends |
/* Queued from XTread_socket when session manager sends |
332 |
save yourself before shutdown. */ |
save yourself before shutdown. */ |
333 |
save_session_event |
save_session_event |