Major refactoring to handle posts being deleted.
This looks like a big job from the patch series, but it was three times that big really, because of an even more intrusive rework of file.rs's file position system that I got mostly working before realising it was overkill.
Edited by Simon Tatham
Merge request reports
Activity
Filter activity
added 13 commits
- 48fc30e6...c801f081 - 3 earlier commits
- 6447c0ab - Remove pointless parameter from File::selected_id().
- a9957729 - Allow ActivityState::handle_feed_updates to return an action.
- a68d06f1 - Centralise calls to FileContents::update_items.
- 571c18af - Factor out index_before_id.
- fcf5ee04 - Store ids rather than indices in SavedFilePos::file_pos.
- 7e6e566c - Remove FileContents::origin and Feed::origin.
- c1fdbca0 - Switch all the isize to usize.
- e006bbf4 - Remove FileContents::first_index() and FilePosition::clip().
- 84c524fb - Replace StreamEvent::Other with None.
- 87d2b9d5 - Handle posts being deleted from the home feed.
Toggle commit listenabled an automatic merge when the pipeline for 6b2501be succeeds
enabled an automatic merge when the pipeline for a98b9ae5 succeeds
mentioned in commit 40d452db
Please register or sign in to reply