GET_BUFFER_WINDOW 3127 src/window.c   	  case GET_BUFFER_WINDOW:
GET_BUFFER_WINDOW 3241 src/window.c       return window_loop (GET_BUFFER_WINDOW, buffer, true, all_frames);