* xdisp.c (note_mode_line_or_margin_highlight): Change the