version 1.140, 2015/08/28 17:11:12 |
version 1.141, 2015/08/29 00:29:15 |
|
|
fatal("gettimeofday failed"); |
fatal("gettimeofday failed"); |
|
|
options_init(&w->options, &global_w_options); |
options_init(&w->options, &global_w_options); |
if (options_get_number(&w->options, "automatic-rename")) |
|
queue_window_name(w); |
|
|
|
w->references = 0; |
w->references = 0; |
|
|
|
|
layout_free_cell(w->saved_layout_root); |
layout_free_cell(w->saved_layout_root); |
free(w->old_layout); |
free(w->old_layout); |
|
|
if (event_initialized(&w->name_timer)) |
if (event_initialized(&w->name_event)) |
evtimer_del(&w->name_timer); |
evtimer_del(&w->name_event); |
|
|
options_free(&w->options); |
options_free(&w->options); |
|
|