2024-02-05 19:03:29 +01:00
|
|
|
import assert from "minimalistic-assert";
|
|
|
|
|
2024-11-12 03:59:37 +01:00
|
|
|
import * as message_lists from "./message_lists.ts";
|
|
|
|
import * as message_view from "./message_view.ts";
|
|
|
|
import * as message_viewport from "./message_viewport.ts";
|
|
|
|
import * as unread_ops from "./unread_ops.ts";
|
2021-02-28 00:42:00 +01:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
function go_to_row(msg_id) {
|
2024-02-05 19:03:29 +01:00
|
|
|
assert(message_lists.current !== undefined);
|
2021-03-30 02:21:21 +02:00
|
|
|
message_lists.current.select_id(msg_id, {then_scroll: true, from_scroll: true});
|
2013-07-24 23:41:49 +02:00
|
|
|
}
|
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function up() {
|
2024-02-05 19:03:29 +01:00
|
|
|
assert(message_lists.current !== undefined);
|
2018-08-04 08:33:00 +02:00
|
|
|
message_viewport.set_last_movement_direction(-1);
|
2021-03-30 02:21:21 +02:00
|
|
|
const msg_id = message_lists.current.prev();
|
2018-05-26 12:36:24 +02:00
|
|
|
if (msg_id === undefined) {
|
|
|
|
return;
|
2013-07-24 22:51:13 +02:00
|
|
|
}
|
2018-05-26 12:36:24 +02:00
|
|
|
go_to_row(msg_id);
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2013-07-24 22:51:13 +02:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function down(with_centering = false) {
|
2024-02-05 19:03:29 +01:00
|
|
|
assert(message_lists.current !== undefined);
|
2018-08-04 08:33:00 +02:00
|
|
|
message_viewport.set_last_movement_direction(1);
|
2018-05-29 00:21:13 +02:00
|
|
|
|
2021-03-30 02:21:21 +02:00
|
|
|
if (message_lists.current.is_at_end()) {
|
2018-05-29 00:21:13 +02:00
|
|
|
if (with_centering) {
|
|
|
|
// At the last message, scroll to the bottom so we have
|
|
|
|
// lots of nice whitespace for new messages coming in.
|
2024-01-17 07:53:40 +01:00
|
|
|
const $current_msg_list = message_lists.current.view.$list;
|
2020-07-15 00:34:28 +02:00
|
|
|
message_viewport.scrollTop(
|
2024-01-17 07:53:40 +01:00
|
|
|
($current_msg_list.outerHeight(true) ?? 0) - message_viewport.height() * 0.1,
|
2020-07-15 00:34:28 +02:00
|
|
|
);
|
2024-01-31 22:22:34 +01:00
|
|
|
unread_ops.process_visible();
|
2018-05-29 00:21:13 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Normal path starts here.
|
2021-03-30 02:21:21 +02:00
|
|
|
const msg_id = message_lists.current.next();
|
2018-05-26 12:36:24 +02:00
|
|
|
if (msg_id === undefined) {
|
|
|
|
return;
|
2013-07-24 22:51:13 +02:00
|
|
|
}
|
2018-05-26 12:36:24 +02:00
|
|
|
go_to_row(msg_id);
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2013-07-24 22:51:13 +02:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function to_home() {
|
2024-06-07 06:50:23 +02:00
|
|
|
message_view.fast_track_current_msg_list_to_anchor("oldest");
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2013-07-24 22:51:13 +02:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function to_end() {
|
2024-06-07 06:50:23 +02:00
|
|
|
message_view.fast_track_current_msg_list_to_anchor("newest");
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2013-07-24 22:51:13 +02:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
function amount_to_paginate() {
|
2017-03-18 23:23:39 +01:00
|
|
|
// Some day we might have separate versions of this function
|
|
|
|
// for Page Up vs. Page Down, but for now it's the same
|
|
|
|
// strategy in either direction.
|
2019-11-02 00:06:25 +01:00
|
|
|
const info = message_viewport.message_viewport_info();
|
|
|
|
const page_size = info.visible_height;
|
2017-03-18 23:23:39 +01:00
|
|
|
|
|
|
|
// We don't want to page up a full page, because Zulip users
|
|
|
|
// are especially worried about missing messages, so we want
|
|
|
|
// a little bit of the old page to stay on the screen. The
|
|
|
|
// value chosen here is roughly 2 or 3 lines of text, but there
|
2024-06-05 19:44:31 +02:00
|
|
|
// is nothing sacred about it, and somebody more anal than we
|
2017-03-18 23:23:39 +01:00
|
|
|
// might wish to tie this to the size of some particular DOM
|
|
|
|
// element.
|
2019-11-02 00:06:25 +01:00
|
|
|
const overlap_amount = 55;
|
2017-03-18 23:23:39 +01:00
|
|
|
|
2019-11-02 00:06:25 +01:00
|
|
|
let delta = page_size - overlap_amount;
|
2017-03-18 23:23:39 +01:00
|
|
|
|
|
|
|
// If the user has shrunk their browser a whole lot, pagination
|
|
|
|
// is not going to be very pleasant, but we can at least
|
|
|
|
// ensure they go in the right direction.
|
|
|
|
if (delta < 1) {
|
|
|
|
delta = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return delta;
|
|
|
|
}
|
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function page_up_the_right_amount() {
|
2017-03-18 23:23:39 +01:00
|
|
|
// This function's job is to scroll up the right amount,
|
|
|
|
// after the user hits Page Up. We do this ourselves
|
|
|
|
// because we can't rely on the browser to account for certain
|
|
|
|
// page elements, like the compose box, that sit in fixed
|
|
|
|
// positions above the message pane. For other scrolling
|
2020-03-28 01:25:56 +01:00
|
|
|
// related adjustments, try to make those happen in the
|
2017-03-18 23:23:39 +01:00
|
|
|
// scroll handlers, not here.
|
2019-11-02 00:06:25 +01:00
|
|
|
const delta = amount_to_paginate();
|
2017-03-18 23:23:39 +01:00
|
|
|
message_viewport.scrollTop(message_viewport.scrollTop() - delta);
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2017-03-18 23:23:39 +01:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function page_down_the_right_amount() {
|
2017-03-18 23:23:39 +01:00
|
|
|
// see also: page_up_the_right_amount
|
2019-11-02 00:06:25 +01:00
|
|
|
const delta = amount_to_paginate();
|
2017-03-18 23:23:39 +01:00
|
|
|
message_viewport.scrollTop(message_viewport.scrollTop() + delta);
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2017-03-18 23:23:39 +01:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function page_up() {
|
2024-02-05 19:03:29 +01:00
|
|
|
assert(message_lists.current !== undefined);
|
2024-02-06 04:16:46 +01:00
|
|
|
if (message_viewport.at_rendered_top() && !message_lists.current.visibly_empty()) {
|
|
|
|
if (message_lists.current.view.is_fetched_start_rendered()) {
|
2024-06-05 19:44:31 +02:00
|
|
|
const first_message = message_lists.current.first();
|
|
|
|
assert(first_message !== undefined);
|
|
|
|
message_lists.current.select_id(first_message.id, {then_scroll: false});
|
2024-02-06 04:16:46 +01:00
|
|
|
} else {
|
2024-06-05 19:44:31 +02:00
|
|
|
const first_rendered_message = message_lists.current.view.first_rendered_message();
|
|
|
|
assert(first_rendered_message !== undefined);
|
|
|
|
message_lists.current.select_id(first_rendered_message.id, {
|
|
|
|
then_scroll: false,
|
|
|
|
});
|
2024-02-06 04:16:46 +01:00
|
|
|
}
|
2016-06-09 23:02:49 +02:00
|
|
|
} else {
|
2021-02-28 01:05:26 +01:00
|
|
|
page_up_the_right_amount();
|
2013-07-24 22:51:13 +02:00
|
|
|
}
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|
2013-07-24 22:51:13 +02:00
|
|
|
|
2024-06-07 06:38:26 +02:00
|
|
|
export function page_down() {
|
2024-02-05 19:03:29 +01:00
|
|
|
assert(message_lists.current !== undefined);
|
2024-02-06 04:16:46 +01:00
|
|
|
if (message_viewport.at_rendered_bottom() && !message_lists.current.visibly_empty()) {
|
|
|
|
if (message_lists.current.view.is_fetched_end_rendered()) {
|
2024-06-05 19:44:31 +02:00
|
|
|
const last_message = message_lists.current.last();
|
|
|
|
assert(last_message !== undefined);
|
|
|
|
message_lists.current.select_id(last_message.id, {then_scroll: false});
|
2024-02-06 04:16:46 +01:00
|
|
|
} else {
|
2024-06-05 19:44:31 +02:00
|
|
|
const last_rendered_message = message_lists.current.view.last_rendered_message();
|
|
|
|
assert(last_rendered_message !== undefined);
|
|
|
|
message_lists.current.select_id(last_rendered_message.id, {
|
2024-02-06 04:16:46 +01:00
|
|
|
then_scroll: false,
|
|
|
|
});
|
|
|
|
}
|
2024-01-31 22:22:34 +01:00
|
|
|
unread_ops.process_visible();
|
2016-06-09 23:02:49 +02:00
|
|
|
} else {
|
2021-02-28 01:05:26 +01:00
|
|
|
page_down_the_right_amount();
|
2013-07-24 22:51:13 +02:00
|
|
|
}
|
2021-02-28 01:05:26 +01:00
|
|
|
}
|