Thank you!

On Aug 28, 2017 4:21 AM, "Robby Findler" <ro...@eecs.northwestern.edu>
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 <jos.k...@gmail.com> 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.

Reply via email to