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
