Re: [racket-users] DrRacket Font Selection

I have the same problem on Fedora 27, Racket 6.11. I don't recall the last time I tried changing fonts so I'm not sure when it happened. I do distinctly remember font selection used to work once upon a time. And the same workaround works for me, too. As in, if I just use the scroll wheel on

Re: [racket-users] DrRacket Font Selection

Now that I have figured out how to get `force-cache` to run through alternate means (using the scroll wheel) and have my preferred font selected, I think I'll be okay until a fix has been added. I think this started to happen when I upgraded to v6.9 and then downgraded to v6.8. I couldn't say

Re: [racket-users] DrRacket Font Selection

So I guess this is a bug somewhere in how event handling is happening. If you wanted to work around it temporarily so you can set the font how you want to, you could change this `unless` expression to be just its body, ie `(force-cache receiver)`.

Re: [racket-users] DrRacket Font Selection

Yes, that is correct. -- 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

Re: [racket-users] DrRacket Font Selection

It sounds like, based on what you're saying, that when you run the code below and click on the choice that appears, that you see only "a" appear, not "a" "b" and "c". Is that right? #lang racket/gui (define mono-list 'uninit) (define vp% (class vertical-panel% (define/private (force-cache

Re: [racket-users] DrRacket Font Selection

Since there is only a single choice, on-subwindow-event (line 86) will not be executed by simply clicking, I need to wheel-up or wheel-down for it to update the list of fonts. Pressing Enter, however, forces on-subwindow-char (line 92) to execute and populate the list of fonts. Selecting the

Re: [racket-users] DrRacket Font Selection

Oh, looking at the code, I can see how that could happen if something has gone wrong with the callbacks in the GUI. Take a look at drracket/private/font, and see the function `force-cache`, roughly lines 71-86. That function is supposed to be called, but I guess some callbacks aren't firing for

Re: [racket-users] DrRacket Font Selection

Yeah, that's exactly where I'm looking. In the Font Name, I see only Monospace. I click on it and there are no choices except that one. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails

Re: [racket-users] DrRacket Font Selection

DrRacket's font configuration is the first pane in the preferences dialog; you will probably find it at the bottom of the Edit menu, I guess? If that wasn't where you were looking when you were talking about DrRacket's decision making earlier, can you elaborate please? Robby On Sun, Jun 25,

Re: [racket-users] DrRacket Font Selection

Where is "Other..."? I don't see it anywhere. Also, `(get-face-list 'mono)` shows a whole lot more fonts than just Monospace. On Sunday, June 25, 2017 at 3:33:22 AM UTC-7, Robby Findler wrote: > DrRacket uses the result of (get-face-list 'mono) in its dialog. If > you choose "Other..." you

Re: [racket-users] DrRacket Font Selection

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 wrote: > At some point DrRacket decided it didn't

[racket-users] DrRacket Font Selection

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