Re: [racket-users] Sharing scope in setup/cleanup for dynamic-wind?

2021-05-19 Thread George Neuner
Coming late to this ... On 5/19/2021 11:31 AM, David Storrs wrote: On Tue, May 18, 2021 at 4:09 PM Philip McGrath mailto:phi...@philipmcgrath.com>> wrote: On Tue, May 18, 2021 at 3:52 PM Sam Tobin-Hochstadt mailto:sa...@cs.indiana.edu>> wrote: I think the key question is what

Re: [racket-users] DrRacket run button needs several clicks to work...

2021-05-19 Thread Matthew Flatt
Hi Don, This problem in v8.0 has been fixed in v8.1. Matthew At Wed, 19 May 2021 09:44:46 -0700 (PDT), Don Green wrote: > After upgrading to racket v.8.0, the DrRacket 'run' button does not work > consistently with one click. > Previously, a single click of the 'run' button performed it's

[racket-users] DrRacket run button needs several clicks to work...

2021-05-19 Thread Don Green
After upgrading to racket v.8.0, the DrRacket 'run' button does not work consistently with one click. Previously, a single click of the 'run' button performed it's function. Now, I must cycle between clicking on the 'run' button, then click anywhere in the body of the window and repeat until the

Re: [racket-users] Racket News - Issue 50

2021-05-19 Thread Sage Gerard
Thank you for organizing the news and for bringing attention to so many cool projects out there. Definitely cause to celebrate! :) On 5/19/21 10:00 AM, Paulo Matos wrote: > Hello all, > > We have hit 50 issues! :) > https://racket-news.com/2021/05/racket-news-issue-50.html > > Enjoy! > > -- >

Re: [racket-users] Sharing scope in setup/cleanup for dynamic-wind?

2021-05-19 Thread David Storrs
On Tue, May 18, 2021 at 4:09 PM Philip McGrath wrote: > On Tue, May 18, 2021 at 3:52 PM Sam Tobin-Hochstadt > wrote: > >> I think the key question is what you want to happen if you would need >> to re-run the "pre" thunk, because you re-enter the code via a >> continuation. >> >> In many cases,

[racket-users] Racket News - Issue 50

2021-05-19 Thread Paulo Matos
Hello all, We have hit 50 issues! :) https://racket-news.com/2021/05/racket-news-issue-50.html Enjoy! -- Paulo Matos -- 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