DrRacket uses the result of (get-face-list 'mono) in its dialog. If you choose "Other..." you should be able to choose from the same set that get-font-from-user uses.
Robby On Sun, Jun 25, 2017 at 12:34 AM, Lehi Toskin <[email protected]> wrote: > At some point DrRacket decided it didn't want to use any font other than > Monospace. In fact, Monospace is the only font that is available in the menu. > `(get-font-from-user)` will correctly display all my fonts, but for whatever > reason DrRacket doesn't want to cooperate. I've even tried using a fresh > .racket directory, but the result is the same. > > -- > 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
