RE: FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

Thanks! Jos -Original Message- From: Robby Findler [mailto:ro...@eecs.northwestern.edu] Sent: lunes, 28 de agosto de 2017 1:21 To: Jos Koot Cc: hashim muqtadir; Racket Users Subject: Re: FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore I've pushed a fix.

Re: FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

Thank you! On Aug 28, 2017 4:21 AM, "Robby Findler" wrote: > I've pushed a fix. Sorry for the delay in looking into this. > > https://github.com/racket/drracket/issues/118 > > Robby > > > On Sun, Aug 27, 2017 at 12:06 PM, Jos Koot wrote: > >

Re: FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

I've pushed a fix. Sorry for the delay in looking into this. https://github.com/racket/drracket/issues/118 Robby On Sun, Aug 27, 2017 at 12:06 PM, Jos Koot wrote: > Sorry, ignore my post. > Jos Koot > > -Original Message- > From: Jos Koot

FW: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

Sorry, ignore my post. Jos Koot -Original Message- From: Jos Koot [mailto:jos.k...@gmail.com] Sent: domingo, 27 de agosto de 2017 19:00 To: 'hashim muqtadir'; 'Racket Users' Subject: RE: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore I think you can toggle a

RE: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

I think you can toggle a switch in tab 'background expansion' of the preferences menu. Jos -Original Message- From: racket-users@googlegroups.com [mailto:racket-users@googlegroups.com] On Behalf Of hashim muqtadir Sent: domingo, 27 de agosto de 2017 8:12 To: Racket Users Subject:

Re: [racket-users] Can't seem to find the blue box(es) in DrRacket anymore

Same problem for me on 6.10.0.3 on Ubuntu 64bits. Unchecking then rechecking the blue box checkbox in the preferences doesn't change anything. I'll make a bug report. On Sun, Aug 27, 2017 at 7:11 AM, hashim muqtadir wrote: > Hello, > I recently updated to Racket 6.10

[racket-users] Can't seem to find the blue box(es) in DrRacket anymore

Hello, I recently updated to Racket 6.10 and I cannot seem to find the blue boxes in the top right of the definitions and interactions windows anymore. They don't show up by pressing the hotkey (f2) either. There's no error or anything, just nothing happens. External help works, i.e. pressing