You received this bug notification because you are a member of DrGeo
developers, which is subscribed to Dr. Geo II.
Matching subscriptions: Dr. Geo bug report
Font size for numeric object
Status in Dr. Geo II:
We should be able to adjust the font size of the numeric object as we
can do it from Text and Script objects output.