Re: [racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Robby Findler
Thanks! On Wed, Dec 5, 2012 at 5:53 PM, Sam Tobin-Hochstadt wrote: > I've now pushed this. > > Sam > > On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler > wrote: >> That would be great! >> >> And your commit also seems good to me. >> >> I tried to push it to our repo but somehow I can't see to actua

Re: [racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Sam Tobin-Hochstadt
I've now pushed this. Sam On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler wrote: > That would be great! > > And your commit also seems good to me. > > I tried to push it to our repo but somehow I can't see to actually get > things locally into the right state so if someone else has time to do that

[racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Robby Findler
That would be great! And your commit also seems good to me. I tried to push it to our repo but somehow I can't see to actually get things locally into the right state so if someone else has time to do that, I would much appreciate it. Robby On Wednesday, December 5, 2012, Philippe Mechaï wrote:

[racket-dev] Fix bug in DrRacket's language configuration dialog

2012-12-05 Thread Philippe Mechaï
Hi, I've just created the pull request 186 (https://github.com/plt/racket/pull/186) which fixes a bug with the language configuration dialog. As I have disabled a bunch of languages for which I have no use, the language configuration dialog is not showing anymore. My patch only fixes the issue