run_window_change_functions 1103 src/window.h void run_window_change_functions (void); run_window_change_functions 16716 src/xdisp.c run_window_change_functions ();