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. Sorry for the delay in looking into this. https://github.com/racket/drracket/issues/118 Robby snip -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
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: > > 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 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: [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 f1 opens up the docs search in my browser. > > > > snip > > > > -- > > You received this message because you are subscribed to the Google > Groups "Racket Users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to racket-users+unsubscr...@googlegroups.com. > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
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 [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 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: [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 f1 opens up the docs search in my browser. > > snip > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
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 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: [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 f1 opens up the docs search in my browser. snip -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
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: [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 f1 opens up the docs search in my browser. Other things I did around the same time the blue boxes disappeared were tinkering with the preferences a bit and 'raco pkg migrate 6.9'. But I didn't find any relevant preference that turns them off (there was something about blue boxes and background expansion but turning that on/off doesn't help) and it did not seem to me that the migrate command would have messed anything up. Anyone has any idea what might have happened? I'd like those back. Maybe I'm just missing some preference or something. I'm using a 64-bit Windows 10, in case that is relevant. Regards, Hashim. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
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 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 f1 opens > up the docs search in my browser. > > Other things I did around the same time the blue boxes disappeared were > tinkering with the preferences a bit and 'raco pkg migrate 6.9'. But I > didn't find any relevant preference that turns them off (there was > something about blue boxes and background expansion but turning that on/off > doesn't help) and it did not seem to me that the migrate command would have > messed anything up. > > Anyone has any idea what might have happened? I'd like those back. Maybe > I'm just missing some preference or something. I'm using a 64-bit Windows > 10, in case that is relevant. > > Regards, > Hashim. > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
[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 f1 opens up the docs search in my browser. Other things I did around the same time the blue boxes disappeared were tinkering with the preferences a bit and 'raco pkg migrate 6.9'. But I didn't find any relevant preference that turns them off (there was something about blue boxes and background expansion but turning that on/off doesn't help) and it did not seem to me that the migrate command would have messed anything up. Anyone has any idea what might have happened? I'd like those back. Maybe I'm just missing some preference or something. I'm using a 64-bit Windows 10, in case that is relevant. Regards, Hashim. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
