Re: [racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
On Nov 8, 2014, at 1:41 PM, Robby Findler wrote: > I have some fonts also only in that category, like Triplicate. I see > it in DrRacket, but only if I choose "Other..." in the font selection > dialog. Does your font show up there? > > Relatedly, does it show up in the output of this program? >

Re: [racket] Font selection in DrRacket

2014-11-08 Thread Robby Findler
I have some fonts also only in that category, like Triplicate. I see it in DrRacket, but only if I choose "Other..." in the font selection dialog. Does your font show up there? Relatedly, does it show up in the output of this program? #lang racket/gui (get-face-list) Robby On Sat, Nov 8, 2014 a

Re: [racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
On Nov 8, 2014, at 1:19 PM, Robby Findler wrote: > Do you see them in Font Book? Yes; they show up in the “User” collection but not the “Computer” collection, which is what led me to the hypothesis I offered. Best, jmj > On Sat, Nov 8, 2014 at 3:16 PM, Jordan Johnson wrote: >> Hi all, >> >>

Re: [racket] Font selection in DrRacket

2014-11-08 Thread Robby Findler
Do you see them in Font Book? Robby On Sat, Nov 8, 2014 at 3:16 PM, Jordan Johnson wrote: > Hi all, > > How can I tell where DrRacket looks for fonts, or tell it where to look? (I’m > running it on OS X.) > > I ask because there are a few fonts I’ve installed that aren’t showing up as > option

[racket] Font selection in DrRacket

2014-11-08 Thread Jordan Johnson
Hi all, How can I tell where DrRacket looks for fonts, or tell it where to look? (I’m running it on OS X.) I ask because there are a few fonts I’ve installed that aren’t showing up as options in DrRacket’s font menus. I believe this is because I’ve installed them as user fonts — not system-wid