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/62C9C1F2-D9D7-4EE2-92AC-1E222428C974%40biomantica.com.
