Something is broken. There must be multiple event listeners on the same GUI event. When I click such a navigation at the same time the collapse/expand happens. You can try yourself in the above example, clicking first on 7 and then on 6 on the last line.
It will not show 6, since it thinks the click on 6 was a collapse. But the click on 6 is the same click as on 7, nothing todo with collapse/expand.
tirix
commented
6 years ago
As suggested by Jan in his google groups post:
You can check here: http://metamath.tirix.org/risefacval.html#6
Something is broken. There must be multiple event listeners on the same GUI event. When I click such a navigation at the same time the collapse/expand happens. You can try yourself in the above example, clicking first on 7 and then on 6 on the last line.
It will not show 6, since it thinks the click on 6 was a collapse. But the click on 6 is the same click as on 7, nothing todo with collapse/expand.
See also Jan's Gist entry.