On Thu, Nov 13, 2014 at 11:39 AM, Robert Haas <robertmhaas@gmail.com> wrote:
> On Thu, Nov 13, 2014 at 11:54 AM, David G Johnston
> <david.g.johnston@gmail.com> wrote:
>>> Because I might be quite happy with 100 or 200 lines I can just scroll
>>> in my terminal's scroll buffer, but want to use the pager for more than
>>> that. This is useful especially if I want to scroll back and see the
>>> results from a query or two ago.
>>
>> +1
>
> +1 from me, too.
me three (as long as the current behaviors are not messed with and the
new stuff is 'opt in' somehow -- I also use the force quit option to
less).
merlin
