At least on Windows, users can select the text size in the Windows System Settings,and Racket GUI applications will use that setting. So I can make the text of the GUI controls bigger or smaller by adjusting this setting. The Racket GUI have to be restarted though for the settings to take effect -- they don't react dynamically to text size changes.
Of course this is a system level setting and all applications on the machine will use the chosen text size. Alex. On Wednesday, August 19, 2020 at 12:31:42 AM UTC+8 James Platt wrote: > I'm looking at implementing a zoom contents (not zoom window) feature in a > GUI with lots of elements and I'm wondering about the best way to do this. > Most, if not all, standard GUI widgets in Racket can be resized by changing > the font size of their contents or label. Then redraw the widget and you > have the whole thing in a new size. So zoom could be done by creating a > function which handles each element individually but I would like a more > general solution, if possible. Most widgets use the value > normal-control-font for their default but it doesn't look like this can be > changed at present. If there were a setter for normal-control-font, it > looks like you could have a menu item change it, then recursively get the > children of the frame it is attached to and redraw them. Would this > actually work? Is there a better way to do it? -- 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/33fa4a60-6c4b-4948-9288-6ae45a2d75b6n%40googlegroups.com.
