I've committed a modified version of nile's scrolling suggested by yvyvy on the
9fans discord, autoscrolling is now enabled by hitting "end" and disabled by
all scrolling operations, rather than being based on the current scroll
position. This improves compatibility with modern plan 9 software like git/log
that takes advantage of the no scroll behavior, and I think proves to be an
even more transparent way to manage the scroll state.
------------------------------------------
9fans: 9fans
Permalink:
https://9fans.topicbox.com/groups/9fans/Tcff5f5374fb94ee2-Mab48d3ef669a5452eca8ed81
Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
