select_window_norecord 3611 src/window.c   	    record_unwind_protect (select_window_norecord, selected_window);
select_window_norecord 3612 src/window.c   	    select_window_norecord (window);
select_window_norecord 4333 src/window.c           record_unwind_protect (select_window_norecord, prev_window);