Using happily this mode. However, often, auto-scroll is frustrating (because going against my will to scroll where I want).
IMHO one of those might be implemented:
- a control on the HTML document to toggle auto-scroll on/off
- a customizable variable to entirely disable auto-scroll
The better I can think about would be :
- if you manually scroll the document, disable auto-scroll and show a control to re-enable auto-scrolling.
Just thinking about it, though I could share it :-)
Using happily this mode. However, often, auto-scroll is frustrating (because going against my will to scroll where I want).
IMHO one of those might be implemented:
The better I can think about would be :
Just thinking about it, though I could share it :-)