8535 |
|
|
8536 |
/* The main W32 event-reading loop - w32_read_socket. */ |
/* The main W32 event-reading loop - w32_read_socket. */ |
8537 |
|
|
|
/* Time stamp of enter window event. This is only used by w32_read_socket, |
|
|
but we have to put it out here, since static variables within functions |
|
|
sometimes don't work. */ |
|
|
|
|
|
static Time enter_timestamp; |
|
|
|
|
8538 |
/* Record the last 100 characters stored |
/* Record the last 100 characters stored |
8539 |
to help debug the loss-of-chars-during-GC problem. */ |
to help debug the loss-of-chars-during-GC problem. */ |
8540 |
|
|