[Dr. Geo] Change font size and font family for the name of lines and points etc.

[Nitish Kumar]

Hi,

Dr. Geo is awesome!

I started learning it a few days back. One thing that I miss is having the
option to increase the size of names that are assigned to points, lines,
and other items.

Here is an image for reference.

[image: image.png]

I want the labels P, M, and N to be larger. Similarly, The text Sum of
Angles should be larger as well. How can I do that?

Also, is it possible to change the font family?

Thanks.