It seems like the issue here is not with the OpenGL setup, but with figuring out whether or not the draw context passed to a snip supports high-resolution drawing. Presumably the answer is "yes" somewhere in the pipeline, since the font rendering in the REPL doesn't look noticeably worse than the font rendering in my menu bar. The question is what plumbing needs to be established in between to make use of it (or whether or not the plumbing is there to begin with).
-- 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]. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/713574fc-6572-47cf-87a1-fd28135295e4%40googlegroups.com.
