|
| From: | Hilaire Fernandes |
| Subject: | Re: [Dr. Geo] Change font size and font family for the name of lines and points etc. |
| Date: | Thu, 12 Oct 2023 22:56:48 +0200 |
| User-agent: | Mozilla Thunderbird |
Hi Nitsh,It is possible to change everything easily in DrGeo, even if it was not coded.
See if this solves your problem: https://youtu.be/K0JZV4faPLY?si=PD5vD-aTOMgu6Si-
Hilaire -- GNU Dr. Geo http://drgeo.eu http://blog.drgeo.eu
| [Prev in Thread] | Current Thread | [Next in Thread] |