Re: [racket-users] GUI zoom and normal-control-font

2020-08-20 Thread James Platt
On Aug 19, 2020, at 8:53 PM, George Neuner wrote: > Sorry, it was not clear to me that you wanted to resize widgets (child > windows). Typically when one speaks about a window's "content" they are > referring to text or imagery drawn onto the window's backing bitmap. I was going by Macintosh

Re: [racket-users] GUI zoom and normal-control-font

2020-08-19 Thread George Neuner
On 8/19/2020 1:37 PM, James Platt wrote: > > On 8/18/2020 12:31 PM, 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

Re: [racket-users] GUI zoom and normal-control-font

2020-08-19 Thread James Platt
> > On 8/18/2020 12:31 PM, 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 s

Re: [racket-users] GUI zoom and normal-control-font

2020-08-18 Thread George Neuner
On 8/18/2020 12:31 PM, 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