select_window_norecord 3608 src/window.c   	    record_unwind_protect (select_window_norecord, selected_window);
select_window_norecord 3609 src/window.c   	    select_window_norecord (window);
select_window_norecord 4315 src/window.c           record_unwind_protect (select_window_norecord, prev_window);