Tim Abbott 961100024e pointer: Remove orig_initial_pointer hackery. ...

The orig_initial_pointer variable was part of the implementation for
ensuring server-initiated reloads preserve the user's selected message
and scroll position (so that they are not disruptive).  Previously,
the logic did some unnecessary contortions to ensure the two goals:

* The `pointer.js` logic knows what the server thinks the pointer is.
* The `message_fetch.js` logic knows what anchor to use to center it's
  home view fetch.

It's a lot cleaner to do this by not mutating page_params.pointer.

2020-06-08 22:36:35 -07:00

4.2 KiB

Raw Blame History

View Raw