It seems there is a workaround, hinted at by @mentaloid here:
What works for me is to switch to a different graph first, and then shift-click on the desired graph from the “Switch to…” menu. Repeat as desired.
It seems there is a workaround, hinted at by @mentaloid here:
What works for me is to switch to a different graph first, and then shift-click on the desired graph from the “Switch to…” menu. Repeat as desired.