Closed hilaire closed 9 months ago
When the mouse hovers the value of an angle, it is not detected. What is detected is hovering the angle drawing (arc). This is not what we want. This below should fix it:
DrGAngleGeometricMorph >> wantsContour ^ false
When the mouse hovers the value of an angle, it is not detected. What is detected is hovering the angle drawing (arc). This is not what we want. This below should fix it: