-
Randall Leeds authoredThe new choice is simpler. It does not deal with scrollable elements below the window. On the other hand, this also makes it less liable to choke on edge cases when scrolling the window would be just fine.
7bd702c9
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| anchoring | ||
| plugin | ||
| test | ||
| guest.coffee | ||
| highlighter.coffee | ||
| host.coffee | ||
| main.js |