Rename locals to match their nature.
authorEli Zaretskii <eliz@gnu.org>
Tue, 1 Nov 2011 19:19:07 +0000 (21:19 +0200)
committerEli Zaretskii <eliz@gnu.org>
Tue, 1 Nov 2011 19:19:07 +0000 (21:19 +0200)
commit26b46e515c1695a73930255dd79cca6d0eb84321
tree74d63ef1944b9eaaf3ac88ad9f42cb5c1f1485b3
parentbc17a887d1df07f5a75287ff7d551d548e10f387
Rename locals to match their nature.

 src/xdisp.c (mouse_face_from_buffer_pos, note_mouse_highlight): Rename
 cover_string to disp_string.
src/ChangeLog
src/xdisp.c