FRAME_WINDOW_CHANGE 3508 src/window.c     FRAME_WINDOW_CHANGE (f) = true;
FRAME_WINDOW_CHANGE 3771 src/window.c   	  FRAME_WINDOW_CHANGE (f) = false;
FRAME_WINDOW_CHANGE 3902 src/window.c         bool frame_window_change = FRAME_WINDOW_CHANGE (f);
FRAME_WINDOW_CHANGE 4181 src/window.c       FRAME_WINDOW_CHANGE (XFRAME (w->frame)) = true;
FRAME_WINDOW_CHANGE 4688 src/window.c       FRAME_WINDOW_CHANGE (WINDOW_XFRAME (w)) = true;
FRAME_WINDOW_CHANGE 4875 src/window.c         FRAME_WINDOW_CHANGE (f)
FRAME_WINDOW_CHANGE 5130 src/window.c     FRAME_WINDOW_CHANGE (f) = true;
FRAME_WINDOW_CHANGE 5270 src/window.c         FRAME_WINDOW_CHANGE (f) = true;
FRAME_WINDOW_CHANGE 7422 src/window.c     FRAME_WINDOW_CHANGE (f) = true;
FRAME_WINDOW_CHANGE 3418 src/xdisp.c    	FRAME_WINDOW_CHANGE (it->f) = true;
FRAME_WINDOW_CHANGE 3447 src/xdisp.c        FRAME_WINDOW_CHANGE (it->f) = true;