run_window_change_functions 1122 src/window.h   void run_window_change_functions (void);
run_window_change_functions 16872 src/xdisp.c        run_window_change_functions ();