29b0fde9a7
- Change page number indicator - Remove most of the scrolling cruft as it has no chance of working anyway, thanks to our benevolent browsers - Scroll to page header if the page is not the first one (I'm surprised this even works) - Use promises rather than timers - Simplify top page detection using .elementFromPoint rather than iterating over all pages. Coincidentally, this seems to work slightly better |
||
|---|---|---|
| .. | ||
| empty_view.js | ||
| endless_page_view.js | ||
| file_dropper_control.js | ||
| help_view.js | ||
| home_view.js | ||
| login_view.js | ||
| manual_page_view.js | ||
| password_reset_view.js | ||
| registration_view.js | ||
| settings_view.js | ||
| tag_list_header_view.js | ||
| tag_list_page_view.js | ||
| top_nav_view.js | ||
| user_deletion_view.js | ||
| user_edit_view.js | ||
| user_list_header_view.js | ||
| user_list_page_view.js | ||
| user_summary_view.js | ||
| user_view.js | ||