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
tha
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 *w
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)`.
https://github.com/racket/drracket/blob/master/drr
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 https://groups.google.co
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
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 fon
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 you
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 fro
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, 201
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 should
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 want to use any font other
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 f
12 matches
Mail list logo