Re: [racket-dev] Bug in the documentation or the implementation

2012-03-19 Thread Antonio Menezes Leitao
Hi, Was there any progress regarding this problem? It seems that the bug is still present in the current (5.2.1) version. Best regards, António. On Tue, Feb 7, 2012 at 9:35 AM, Antonio Menezes Leitao antonio.menezes.lei...@ist.utl.pt wrote: Hi, The example provided in section 3.3.9 of the

Re: [racket-dev] Migrating the bug database to GitHub

2012-03-19 Thread Robby Findler
I don't know if it is worth going this route, but SirMail can pull out attachments already, so the libraries are there. Robby On Mon, Mar 19, 2012 at 12:41 AM, Eli Barzilay e...@barzilay.org wrote: Three hours ago, Sam Tobin-Hochstadt wrote: On Sat, Mar 17, 2012 at 10:55 AM, Eli Barzilay

Re: [racket-dev] Bug in the documentation or the implementation

2012-03-19 Thread Robby Findler
[ re-added the dev mailing list ] On Mon, Mar 19, 2012 at 7:44 AM, Antonio Menezes Leitao antonio.menezes.lei...@ist.utl.pt wrote: Hi Robby, On Mon, Mar 19, 2012 at 12:00 PM, Robby Findler ro...@eecs.northwestern.edu wrote: I'm not able to reproduce this problem. I created a file, copied and

[racket-dev] Issue with languages in Windows

2012-03-19 Thread namekuseijin
You know, something that bugs me about DrRacket since the times of DrScheme is that it randomly seems to change the current language to EN, as shown in the attached image. I imagine most of you racket devs don't deal with it, but for users in other countries, it's midly annoying if for no other

Re: [racket-dev] Issue with languages in Windows

2012-03-19 Thread namekuseijin
image attached... :p On Mon, Mar 19, 2012 at 9:01 PM, namekuseijin namekusei...@gmail.com wrote: You know, something that bugs me about DrRacket since the times of DrScheme is that it randomly seems to change the current language to EN, as shown in the attached image. I imagine most of you

[racket-dev] Changes to `git push`

2012-03-19 Thread Asumu Takikawa
I just saw that the git project is considering changing the default behavior of the `git push` command and are taking feedback on the potential change. In case anyone is interested, here is the call for feedback: https://lwn.net/Articles/487131/ Cheers, Asumu _ Racket

Re: [racket-dev] Issue with languages in Windows

2012-03-19 Thread Matthew Flatt
At Mon, 19 Mar 2012 21:01:16 -0300, namekuseijin wrote: You know, something that bugs me about DrRacket since the times of DrScheme is that it randomly seems to change the current language to EN, as shown in the attached image. I imagine most of you racket devs don't deal with it, but for

Re: [racket-dev] Issue with languages in Windows

2012-03-19 Thread namekuseijin
On Mon, Mar 19, 2012 at 10:56 PM, Matthew Flatt mfl...@cs.utah.edu wrote: At Mon, 19 Mar 2012 21:01:16 -0300, namekuseijin wrote: You know, something that bugs me about DrRacket since the times of DrScheme is that it randomly seems to change the current language to EN, as shown in the attached