Hello Christopher,
this is a longstanding bug that we recently fixed (initial description
https://github.com/galaxyproject/galaxy/issues/3519, fix
https://github.com/galaxyproject/galaxy/pull/4610 ),
This will be included in galaxy release 17.09, but the fix has also been
backported to relaese
Dear all,
I noticed a bug in Galaxy (17.05), specifically when using "View all
histories" to switch between different histories.
It happened to me multiple times that the history I switched away from
was not shown anymore.
Searching for the history by name made it show up again, but still not