Re: [racket] problem with choose language and submit bug report

2011-01-02 Thread Jos Koot
> -Original Message- > From: users-boun...@racket-lang.org > [mailto:users-boun...@racket-lang.org] On Behalf Of Jos Koot > Sent: 01 January 2011 21:04 > To: 'Matthew Flatt' > Cc: us...@lists.racket-lang.org > Subject: Re: [racket] problem with choose la

Re: [racket] problem with choose language and submit bug report

2011-01-01 Thread Jos Koot
racket-lang.org > Subject: Re: [racket] problem with choose language and submit > bug report > > I've pushed a change that should avoid the immediate problem. > > With the change, do text fields draw correctly in the "Choose > Language" > and "Submit Bug R

Re: [racket] problem with choose language and submit bug report

2011-01-01 Thread Matthew Flatt
I've pushed a change that should avoid the immediate problem. With the change, do text fields draw correctly in the "Choose Language" and "Submit Bug Report" windows? I expect that they draw without a border, but I also expect that v5.0.2 draws the same way on your machine. At Sat, 1 Jan 2011 11

[racket] problem with choose language and submit bug report

2011-01-01 Thread Jos Koot
Because DrRacket help/submit bug report does not function, I use this list for the following report. Welcome to DrRacket, version 5.0.99.5--2010-12-31(b2a297a/a) [3m]. Windows 7 'Choose language' and 'submit bug report' and some other menu selections of DrRacket result in: HTHEME->C: expected