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

[H. Fernandes]

Hi Nitish,

Great!
By curiosity, what is your use case of DrGeo?

Dr. Geo -- http://drgeo.eu

----- Nitish Kumar <programmer.nitish@gmail.com> a écrit :
> 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
> > *************************************
> >