Re: Proposal to improve the nomenclature of scrolling directions

[martin rudalics]

>> I'll be happy if it does happen, of course.  One thing that would be
>> much simpler is if the functionality is folded into the scrolling
>> functions (as a customizable thing, of course), then a large part of
>
> Yes, that's the way I'd like to see it, indeed.

Without a post-display hook?  Then the display-engine may override it.

martin