window_buffer_changed 13857 src/xdisp.c || window_buffer_changed (w)) window_buffer_changed 14024 src/xdisp.c || window_buffer_changed (w)) window_buffer_changed 14992 src/xdisp.c || window_buffer_changed (w))