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

[Hilaire Fernandes]

Hi Nitish,

To use a font of yours, I suggest to look at the DrGeoSystem and 
DrGeoPlatform classes, you should be able to use another font.

Note : Your are using a 19.xx version of DrGeo I am not developing anymore

Happy hacking!

Hilaire


Le 13/10/2023 à 06:56, Nitish Kumar a écrit :
> Hi Hilaire,
>
> I was able to find this class after some trial and errors of my own.
>
> image.png
>
> I was able to change the margin and border-width values by going here. 
> So, I am hopeful I will be able to change the font family and size as 
> well.
>
>
>
> image.png
>
> I want to use system fonts that I installed from Google fonts for the 
> point names, values, and text elements. For example, 'Raleway' etc.
>
> Thanks,
> Nitish.
>
> On Fri, Oct 13, 2023 at 3:31 AM Nitish Kumar 
> <programmer.nitish@gmail.com> wrote:
>
>     Hi Hilaire,
>
>     Thank you very much for your help. :)
>
>     I am completely amazed by the level to which it is possible to
>     customize Dr. Geo. This is one of the best software that I have
>     ever used.
>
>     I also watched another related video
>     (https://www.youtube.com/watch?v=4yFrN3RUE8w) where you were able
>     to save the session to make the addition of "Tan" to the color
>     list permanent.
>
>     Can I do something like that for the size of different texts and
>     values? Storing the information permanently will save a lot of
>     time for me. :)
>
>     If saving it permanently isn't possible, can I achieve the same by
>     writing smalltalk code inside the workspace?
>
>     Regards,
>     Nitish.
>
>     On Fri, Oct 13, 2023 at 2:26 AM Hilaire Fernandes <hfern@free.fr>
>     wrote:
>
>         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
--
GNU Dr. Geo
http://drgeo.eu
http://blog.drgeo.eu