Fix bug #13055 with cursor positioning inside scroll-margin.
authorEli Zaretskii <eliz@gnu.org>
Mon, 3 Dec 2012 20:48:12 +0000 (22:48 +0200)
committerEli Zaretskii <eliz@gnu.org>
Mon, 3 Dec 2012 20:48:12 +0000 (22:48 +0200)
commit3cf3c60796b2dbff6f7300d64210acd1029a17c4
treed8ce054f70df601ccbfc7569a5b8b3ef1dc95355
parent005c8d1340722a2a34b447a2ade4e4bf5bd077d0
Fix bug #13055 with cursor positioning inside scroll-margin.

 src/xdisp.c (redisplay_window): If the cursor is visible, but inside
 the scroll margin, move point outside the margin.
src/ChangeLog
src/xdisp.c