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 racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/33fa4a60-6c4b-4948-9288-6ae45a2d75b6n%40googlegroups.com.
