pointer.js: Add setter for furthest_read.

After migration to an ES6 module, `furthest_read` would no longer be
mutable from outside the module.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
This commit is contained in:
Anders Kaseorg
2018-08-04 02:37:23 -04:00
committed by Tim Abbott
parent 6e4ae95994
commit 055ebe76aa
5 changed files with 9 additions and 2 deletions

View File

@@ -133,7 +133,7 @@ function get_events_success(events) {
if (new_pointer !== undefined
&& new_pointer > pointer.furthest_read) {
pointer.furthest_read = new_pointer;
pointer.set_furthest_read(new_pointer);
pointer.server_furthest_read = new_pointer;
home_msg_list.select_id(new_pointer, {then_scroll: true, use_closest: true});
}