Actually, the behaviour is inconsistent, other options will cause the hover menu to become unavailable as well. Sometimes bold will not cause this sometimes it will. But it only takes a few tries to have an option cause the hover menu to never reappear for a given graph. I will see if there is anything useful in the webserver logs.
Actually, the behaviour is inconsistent, other options will cause the hover menu to become unavailable as well. Sometimes bold will not cause this sometimes it will. But it only takes a few tries to have an option cause the hover menu to never reappear for a given graph. I will see if there is anything useful in the webserver logs.