mirror of https://github.com/zulip/zulip.git
0c3ace82d5
This actually is a bit cleaner than our last approach, because (I believe) we run our scroll handler code even after the final scroll event, which prevents the pointer from getting hidden by rapid scrolls. (imported from commit 3bde4e8f067cd2406f90c04425c6e4ffb81ea784) |
||
---|---|---|
.. | ||
js | ||
styles | ||
third | ||
favicon.ico |