chiark / gitweb /
Jump to new mentions even if we're already in mentions.
authorSimon Tatham <anakin@pobox.com>
Thu, 25 Jan 2024 08:56:52 +0000 (08:56 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 25 Jan 2024 09:01:51 +0000 (09:01 +0000)
commit1e897d4c9176bc03abc2382ba9b22d3ceb874b7c
treeaaff7556b20cc7f1561c6b01623467787f8f781b
parentddd114efdb6e07054fac12a2823ae828831c5ecd
Jump to new mentions even if we're already in mentions.

I noticed this because of the bug fixed in the previous commit - I
_wasn't_ already in my mentions feed, and got thrown into it by an
incoming message, but the file position didn't update.

If the ReadMentions activity state had been properly GCed and
recreated, it would have jumped automatically to the new message. But
it _ought_ to be doing that even if I were in Read Mentions already,
which is a rarer occurrence. So the previous bug gave me the
opportunity to spot and fix this one too, before it hit for real!
src/file.rs
src/tui.rs