Fix bug #16192 with highlight of display margins when region is active
authorEli Zaretskii <eliz@gnu.org>
Thu, 19 Dec 2013 19:06:53 +0000 (21:06 +0200)
committerEli Zaretskii <eliz@gnu.org>
Thu, 19 Dec 2013 19:06:53 +0000 (21:06 +0200)
commit5df389f5306dfeab21ecb65c42a8054cb27fd8e0
tree83a739733895ac691cd096a83a057a8443650918
parent4094a7725a4b15cce5a488fc9aabf1a48e5f755d
Fix bug #16192 with highlight of display margins when region is active

 src/xdisp.c (extend_face_to_end_of_line): Use default face, not the
 current text face, for extending the face of the display margins.
src/ChangeLog
src/xdisp.c