chiark / gitweb /
When thrown into Read Mentions, show the new mention.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 13:57:23 +0000 (13:57 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 14:06:13 +0000 (14:06 +0000)
commit3e0a8610981e6680058672a3e7bc37a85db7962c
tree1dbb577c84dbf9e666bb01e6789d532d3d13ddcb
parent54623690ddeba7cc101b16e405b5ccf507e6021d
When thrown into Read Mentions, show the new mention.

This adds an 'is_interrupt' flag to every change of activity; the only
activity constructor that uses it is mentions(), which uses it to vary
the policy about file positioning. When you enter Read Mentions on
your own initiative, you get the same position you were at before, but
when _thrown_ into it, you go to the new message.

In order to still show the new message when you're _already_ in your
mentions, we remove ReadMentions from the list of activities that
don't cause a reload of ReadMentions.
TODO.md
src/activity_stack.rs
src/file.rs
src/tui.rs