window_buffer_changed 13830 src/xdisp.c || window_buffer_changed (w)) window_buffer_changed 13997 src/xdisp.c || window_buffer_changed (w)) window_buffer_changed 14922 src/xdisp.c || window_buffer_changed (w))