371 |
f->selected_window = root_window; |
f->selected_window = root_window; |
372 |
/* Make sure this window seems more recently used than |
/* Make sure this window seems more recently used than |
373 |
a newly-created, never-selected window. */ |
a newly-created, never-selected window. */ |
374 |
XSETFASTINT (XWINDOW (f->selected_window)->use_time, ++window_select_count); |
++window_select_count; |
375 |
|
XSETFASTINT (XWINDOW (f->selected_window)->use_time, window_select_count); |
376 |
|
|
377 |
f->default_face_done_p = 0; |
f->default_face_done_p = 0; |
378 |
|
|