Thanks! On Wed, Dec 5, 2012 at 5:53 PM, Sam Tobin-Hochstadt <sa...@ccs.neu.edu> wrote: > I've now pushed this. > > Sam > > On Wed, Dec 5, 2012 at 5:02 PM, Robby Findler > <ro...@eecs.northwestern.edu> 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, >> I would much appreciate it. >> >> Robby >> >> >> On Wednesday, December 5, 2012, Philippe Mechaï wrote: >>> >>> 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 but I think it could be taken a step >>> further. >>> In my case, the "Teaching Languages" category becomes empty (see >>> http://pmechai.free.fr/langcfgdialog.png) so I think it should not be >>> displayed anymore or at least be disabled. >>> If it makes sense to you I would be happy to make a patch for this. >>> >>> >>> Regards, >>> Philippe Mechaï >>> _________________________ >>> Racket Developers list: >>> http://lists.racket-lang.org/dev >> >> >> _________________________ >> Racket Developers list: >> http://lists.racket-lang.org/dev >> > > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev
_________________________ Racket Developers list: http://lists.racket-lang.org/dev