lead.js
lead.js copied to clipboard
Helpful Scrolling
How should scrolling work?
- If everything is synchronous, scroll right away
- If there's only a single asynchronous thing, scroll when it finishes
- but not if the user scrolled
etc.
right now, scrolling seems totally broken. this makes link and help pretty hard to use
https://github.com/also/lead.js/blob/5ace8d4123f48312de4c4e9406f6790d6448840c/src/notebook.coffee#L264