version 1.25, 2009/09/16 12:35:04 |
version 1.26, 2009/09/20 14:58:12 |
|
|
ws.ws_row = screen_size_y(&wp->base); |
ws.ws_row = screen_size_y(&wp->base); |
|
|
if (gettimeofday(&wp->window->name_timer, NULL) != 0) |
if (gettimeofday(&wp->window->name_timer, NULL) != 0) |
fatal("gettimeofday"); |
fatal("gettimeofday failed"); |
tv.tv_sec = 0; |
tv.tv_sec = 0; |
tv.tv_usec = NAME_INTERVAL * 1000L; |
tv.tv_usec = NAME_INTERVAL * 1000L; |
timeradd(&wp->window->name_timer, &tv, &wp->window->name_timer); |
timeradd(&wp->window->name_timer, &tv, &wp->window->name_timer); |