Subject: bug#5718: scroll-margin in buffer with small line count.

From: [email-masked]
Date: Thu, 02 Feb 2017 21:40:57 -0500

tags 5718 fixed
close 5718 26.1
quit

Eli Zaretskii <[email-masked]> writes:

>> From: [email-masked]
>> Cc: [email-masked],  [email-masked],  [email-masked]
>> Date: Mon, 30 Jan 2017 23:52:22 -0500
>> 
>> > Thanks, it LGTM.  Would you mind to mention the new option in the user
>> > manual?
>> 
>> Oh right, forgot about that.  Does this look okay?
>
> Yes, thanks.

Pushed to master [1: ce88155].

1: 2017-02-02 21:35:51 -0500 ce88155d83ba84e84321ed69a39c82f40117dd1f
  ; Merge: fixes and updates to scroll margin (Bug#5718)