Closed this issue 4 years ago · 1 comments
Popup boxes stop closing and all buttons cease functioning until you refresh the page
To reproduce:
Also works by starting with "Robustness?"
Should be fixed in PR #371.