Re: [Dr. Geo] Dr-geo Digest, Vol 41, Issue 3

[Nitish Kumar]

Hi Hilarie,

Thank you very much. I was able to change the font size. You have been very
helpful. :)

Regards,
Nitish.

On Sat, Oct 14, 2023 at 9:31 PM <dr-geo-request@gnu.org> wrote:

> Send Dr-geo mailing list submissions to
>         dr-geo@gnu.org
>
> To subscribe or unsubscribe via the World Wide Web, visit
>         https://lists.gnu.org/mailman/listinfo/dr-geo
> or, via email, send a message with subject or body 'help' to
>         dr-geo-request@gnu.org
>
> You can reach the person managing the list at
>         dr-geo-owner@gnu.org
>
> When replying, please edit your Subject line so it is more specific
> than "Re: Contents of Dr-geo digest..."
>
>
> Today's Topics:
>
>    1. Re: Change font size and font family for the name of lines
>       and points etc. (Hilaire Fernandes)
>
>
> ----------------------------------------------------------------------
>
> Message: 1
> Date: Sat, 14 Oct 2023 16:17:51 +0200
> From: Hilaire Fernandes <hfern@free.fr>
> To: "Dr. Geo, the GNU interactive geometry software" <dr-geo@gnu.org>
> Subject: Re: [Dr. Geo] Change font size and font family for the name
>         of lines and points etc.
> Message-ID: <9f1c3bf1-0ddf-4ca0-9eff-d13050baa184@free.fr>
> Content-Type: text/plain; charset=UTF-8; format=flowed
>
> 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
>
>
> ------------------------------
>
> Subject: Digest Footer
>
> _______________________________________________
> Dr-geo mailing list
> Dr-geo@gnu.org
> https://lists.gnu.org/mailman/listinfo/dr-geo
>
>
> ------------------------------
>
> End of Dr-geo Digest, Vol 41, Issue 3
> *************************************
>