The `get-face-list` function returns the list of available face names. Or use `get-font-from-user` for a GUI window that contains the same list.
At Sun, 10 Feb 2019 11:43:52 -0800, Jordan Johnson wrote: > Hi all, > > I’m using a typeface (Espinosa Nova > <https://www.myfonts.com/fonts/estudio-ch/espinosa-nova/>) comprised of > twelve > distinct fonts. When I use the pict or 2htdp/image library to create an image > of some text — e.g., > > > (text "Foo bar!" 24 "Espinosa Nova") ; pict lib > > > — Racket gives me the special font that’s intended for drop caps, not the > default text font (which is called “Regular” in the OSX Font Book app and > other apps). (The drop-cap variant is the one that shows up first in all > other > apps’ font lists, but every app but Racket still gives me the correct > “Regular” variant by default.) > > Being more explicit doesn’t help: > > > (text "Foo bar!" 24 "Espinosa Nova, Regular") > > > This still gives me the drop-cap variant. However, AFAICT Racket is > recognizing the strings as representing two distinct fonts: > > > > (send the-font-name-directory find-or-create-font-id "Espinosa Nova" > 'default) > > 11 > > > (send the-font-name-directory find-or-create-font-id "Espinosa Nova, > Regular" 'default) > > 13 > > > Different IDs, same font appearance, neither of them being the “regular” font. > > Is there a reliable way to relate the font names I see in (e.g.) Font Book to > the names Racket uses? > > Is there a way (based on the-font-list or the-font-name-directory, for > example) to browse the list of installed font names in Racket (to try and > identify the magic words Racket needs in order to give me the font% I want)? > > Thanks, > Jordan > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
