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

[Jos Koot]

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

[hashim muqtadir]

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

[Robby Findler]

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.