Thanks for the suggestions, guys. Glad to hear it’s a known-and-fixed bug.

We’ll poke at it when we’re back in the lab tomorrow, and if we can’t resolve 
it I’ll follow up with another query here.

Thanks again,
jmj

> On Jan 25, 2018, at 11:42, Robby Findler <ro...@eecs.northwestern.edu> wrote:
> 
> This double contour thing is a bug that has been fixed, but the fix wasn't in 
> the last release.
> 
> If you first quit DrRacket and then open an older version of DrRacket and 
> disable the contour, then the doubled thing will go away in the new version.
> 
> Robby
> 
> 
> On Thu, Jan 25, 2018 at 11:38 AM, Philip McGrath <phi...@philipmcgrath.com 
> <mailto:phi...@philipmcgrath.com>> wrote:
> In case it's relevant, I recently tried using text:inline-overview-mixin <> 
> for the first time in the hope that it would give me something like Program 
> Contour in DrRacket, and instead it did something very similar to the second 
> screenshot (using Racket 6.11 on Mac OS 10.13.2):
> 
> <inline-overview.png>
> ​
> 
> -Philip
> 
> On Thu, Jan 25, 2018 at 11:10 AM, 'John Clements' via Racket Users 
> <racket-users@googlegroups.com <mailto:racket-users@googlegroups.com>> wrote:
> 
> 
> > On Jan 25, 2018, at 8:48 AM, Jordan Johnson <j...@fellowhuman.com 
> > <mailto:j...@fellowhuman.com>> wrote:
> >
> > Hi all,
> >
> > One of my students is observing some strange behavior involving the Program 
> > Contour pane of DrRacket. He’s using v6.11 on OS X Yosemite 10.10.5.
> >
> > This is the top-right corner of his DrR window, with Program Contour open:
> > <PastedGraphic-1.tiff>
> >
> > Upon pressing Cmd+U to hide it, this is what happens:
> > <PastedGraphic-2.tiff>
> >
> > Additionally, the previous day he’d found that (with the Contour pane open) 
> > DrR was flickering while he typed, and (when I suggested closing the 
> > Contour pane to see if it was slowing down the window redraws) pressing 
> > Cmd+U or selecting the “Hide Program Contour” menu item did not hide the 
> > Contour pane.
> >
> > Any ideas of what we could do to diagnose this problem?
> 
> I believe the behavior of the contour window has changed recently, and I 
> conjecture that both mechanisms might still be implemented; would it help to 
> edit or remove the preferences file? I believe that you’ll find them in 
> ~/Library/Preferences/, and there are two:
> 
> org.racket-lang.DrRacket.plist
> org.racket-lang.prefs.rktd
> 
> I’m guessing the first is the one that would be relevant.
> 
> Just a thought,
> 
> John Clements
> 
> 
> 
> --
> 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 
> <mailto:racket-users%2bunsubscr...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout 
> <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 
> <mailto:racket-users+unsubscr...@googlegroups.com>.
> For more options, visit https://groups.google.com/d/optout 
> <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