Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-20 Thread Matthias Felleisen
> On Nov 20, 2015, at 5:43 AM, Josh Grams wrote: > > On 2015-11-17 11:04AM, Matthias Felleisen wrote: >> On Nov 16, 2015, at 8:11 PM, Josh Grams wrote: >> >>> - big-bang: seems to stop sending "leave" events after a while (Windows >>> 7, 64 bit Racket

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-20 Thread Josh Grams
On 2015-11-17 11:04AM, Matthias Felleisen wrote: >On Nov 16, 2015, at 8:11 PM, Josh Grams wrote: > >> - big-bang: seems to stop sending "leave" events after a while (Windows >> 7, 64 bit Racket 6.2.1). > >I can't replicate but this sounds like something that we should figure

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-20 Thread Robby Findler
On Fri, Nov 20, 2015 at 4:38 AM, Josh Grams wrote: > On 2015-11-17 06:43AM, Robby Findler wrote: >>On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: >>> - DrRacket: is there some way to set a key binding to rename a *variable*? >> >>c:x;m under mac os x. You

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-20 Thread Josh Grams
On 2015-11-17 06:43AM, Robby Findler wrote: >On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: >> - DrRacket: is there some way to set a key binding to rename a *variable*? > >c:x;m under mac os x. You may need to disable menu bindings for that >to work under windows, tho. Ah,

[racket-users] Miscellaneous bugs/feature requests

2015-11-17 Thread Josh Grams
I've spent a week or two with 2htdp/universe in preparation for doing a little intro to Racket talk. And...I have a few little things: - DrRacket: is there some way to set a key binding to rename a symbol? It's annoying that I have to switch to the mouse for that. - big-bang: seems to stop

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-17 Thread Robby Findler
On Mon, Nov 16, 2015 at 7:11 PM, Josh Grams wrote: > I've spent a week or two with 2htdp/universe in preparation for doing a > little intro to Racket talk. And...I have a few little things: > > - DrRacket: is there some way to set a key binding to rename a symbol? > It's

Re: [racket-users] Miscellaneous bugs/feature requests

2015-11-17 Thread Matthias Felleisen
On Nov 16, 2015, at 8:11 PM, Josh Grams wrote: > I've spent a week or two with 2htdp/universe in preparation for doing a > little intro to Racket talk. And...I have a few little things: > > - DrRacket: is there some way to set a key binding to rename a symbol? > It's