History Pagination is broken if there are archived histories

[ahmedhamidawan]

Describe the bug
api/histories/count returns len(current_user.active_histories), which currently includes active+archived histories. We need to change that so that if returns only active, not archived, not deleted histories.

Galaxy Version and/or server at which you observed the bug
Galaxy Version: 23.1

To Reproduce
Steps to reproduce the behavior:

1. Given no histories have been archived, archive one history
2. Go to the switch to history modal
3. Scroll down to the end, it'll keep expecting 1 more history, as the total count of histories hasn't changed after the archival

[davelopez]

Good catch, that is actually a backend issue 👍

[davelopez]

Should be fixed by #16400, thanks for discovering it!

[mvdbeek]

Fixed in #16400