Re: [racket-users] Racket gui iconize behaviour

2017-10-15 Thread Ran Mackeson
Thank you for your reply, Professor Felleisen. I have followed your suggestion and have submitted a bug report. I would like to thank you for writing and making available 'Htdp'. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe f

Re: [racket-users] Racket gui iconize behaviour

2017-10-14 Thread Matthias Felleisen
> On Oct 14, 2017, at 6:55 AM, Ran Mackeson wrote: > > Htdp and Racket have given me much enjoyment. I have just started to play > with racket gui. My Racket version is 6.10.1 and on both Linux Mint 17 and > Ubuntu 16.04 the behaviour of 'iconize' puzzles me: > > #lang racket/gui > > (defin

[racket-users] Racket gui iconize behaviour

2017-10-14 Thread Ran Mackeson
Htdp and Racket have given me much enjoyment. I have just started to play with racket gui. My Racket version is 6.10.1 and on both Linux Mint 17 and Ubuntu 16.04 the behaviour of 'iconize' puzzles me: #lang racket/gui (define frame (new frame% [label "Example"] [width 400]