* xdisp.c (note_mode_line_or_margin_highlight): Fix last change.
commit1c476a0a7ffcbad019480b9057c17501c445eefb
authorChong Yidong <cyd@gnu.org>
Sun, 3 Jun 2012 09:59:00 +0000 (3 17:59 +0800)
committerChong Yidong <cyd@gnu.org>
Sun, 3 Jun 2012 09:59:00 +0000 (3 17:59 +0800)
tree3057c1d39ba5e82213c2dbf1f09513eb2b31f41f
parent5f2c76c6cee2b5d2d84ffd409839fd58d2ad16fa
* xdisp.c (note_mode_line_or_margin_highlight): Fix last change.
src/xdisp.c